Per Frederik Vilhelm Hasle
Professor
Institut for Kommunikation
Karen Blixens Plads 8, 2300 København S, 15B Bygning 15B (Afsnit 2), Bygning: 15B-2-20
Medlem af:
The Idea of Branching Time
Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1993, Time and Cognition. Øhrstrøm, Peter (red.) (red.). Roskilde Universitetsforlag, s. 100-113 (Topics in Cognitive Science and HCI; Nr. 1).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
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 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
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.) (red.).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Preface
Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 okt. 2012, 2 s.Publikation: Andet › Andet bidrag › Forskning
Reasoning about Plural Entities in a Temporal Logic
Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2011, AAU, Aalborg. 7 s. (Natural and Formal Languages, Bind 16).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
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. (red.). Pergamon Press, Bind 7. s. 447-498Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
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. (red.). Pergamon Press, Bind 7. s. 399-446Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
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. (red.). Aalborg: Time Center: http://www.cs.aau.dk/TimeCenter, s. 287-292 6 s. (TimeCenter Technical Report).Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning
- Udgivet
Arthur Prior: Logic
Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Jakobsen, D., 2018, I: Internet Encyclopedia of Philosophy.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
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. s. 191-226 (EATCS; Nr. 82).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 43863200
Flest downloads
-
282
downloads
Prior’s paradigm for the study of time and its methodological motivation
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet