Per Frederik Vilhelm Hasle
Professor
Department of Communication
Karen Blixens Plads 8, 2300 København S, 15B Bygning 15B (Afsnit 2), Building: 15B-2-20
Member of:
The Idea of Branching Time
Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1993, Time and Cognition. Øhrstrøm, Peter (red.) (ed.). Roskilde Universitetsforlag, p. 100-113 (Topics in Cognitive Science and HCI; No. 1).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
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
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
- Published
Preface
Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 Oct 2012, 2 p.Research output: Other contribution › Research
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
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-498Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
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-446Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
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
- 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
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
ID: 43863200
Most downloads
-
286
downloads
Prior’s paradigm for the study of time and its methodological motivation
Research output: Contribution to journal › Journal article › Research › peer-review
Published