Research areas

Find within research areas:

406001 - 406010 out of 407,606Page size: 10
Sort by: 1st author
  1. Published

    Preface

    Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 Oct 2012, 2 p.

    Research output: Other contribution › Research

  2. Determinism and the Origins of Temporal Logic

    Øhrstrøm, P., Braüner, T. & Hasle, Per Frederik Vilhelm, 2000, Advances in Temporal Logic. Barring, H. ...[et al.] (eds.) (ed.).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  3. Reasoning about Plural Entities in a Temporal Logic

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2011, AAU, Aalborg. 7 p. (Natural and Formal Languages, Vol. 16).

    Research output: Book/Report › Report › Research

  4. Logical Models of Causal and Temporal reasoning

    Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Pedersen, S. A., 1992, Simulations, Evaluations and Models: MOHAWC: Esprit Basic Research Action 3105. Risø National Laboratory, Roskilde, 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  5. Modern Temporal Logic: The Philosophical Background

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (eds.). Pergamon Press, Vol. 7. p. 447-498

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  6. A.N. Prior's Logic

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, The Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (eds.). Pergamon Press, Vol. 7. p. 399-446

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  7. The Flow of Time into Logic: and Computer Science

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2004, Bulletin of the European Association for Theoretical Computer Science. p. 191-226 (EATCS; No. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  8. Time in Philosophical Logic

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2008, Temporal Database Entries for the Springer Encyclopedia of Database Systems. Jensen, C. S. & Snodgrass, R. T. (eds.). Aalborg: Time Center: http://www.cs.aau.dk/TimeCenter, p. 287-292 6 p. (TimeCenter Technical Report).

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research

  9. Published

    Arthur Prior: Logic

    Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Jakobsen, D., 2018, In: Internet Encyclopedia of Philosophy.

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. E-pub ahead of print

    Time and knowledge: Some reflections on Prior’s analysis of the paradox of the prisoner

    Øhrstrøm, P., Gram-Hansen, L. & Sandborg-Petersen, U., 7 Jun 2011, (E-pub ahead of print) In: Synthese. 181

    Research output: Contribution to journal › Journal article › Research › peer-review

Previous 1...40597 40598 40599 40600 40601 40602 40603 40604 ...40761 Next