Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Member of:


    1. 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 proceedingBook chapterResearch

    2. 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 proceedingBook chapterResearch

    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/ReportReportResearch

    4. Published

      Preface

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

      Research output: Other contributionResearch

    5. 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 proceedingBook chapterResearch

    6. 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 proceedingBook chapterResearchpeer-review

    7. Time in Philosophical Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2009, Encyclopedia of Database Systems. Springer, p. 3107-3111 5 p.

      Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

    8. Medieval Logic and Natural Language Understanding

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1991, Natural Language Understanding and Logic Programming. North Holland, Dordrecht, p. 75-91 17 p.

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    9. Published

      On Prior's Frist Things in Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2014, First things in Logic. Aalborg: Aalborg University Press, p. 4-5 2 p.

      Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

    10. Recent Advances in Tense Logic [annoteret udgave af Arthur N. Priors artikel]

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm, Braüner, T. & Copeland, J., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (eds.). Oxford: Oxford University Press

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    Previous 1...7 8 9 10 11 Next

    ID: 43863200