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:
A brief Historiy of the Prior Archive in the Bodleian Library
Hasle, Per Frederik Vilhelm, 2004, In: www.kommunikation.aau.dk/prior.Research output: Contribution to journal › Journal article › 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
Appendices 1: Life and Work of Arthur N. Prior: An Interview with Mary Prior
Hasle, Per Frederik Vilhelm, 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (eds.). Oxford: Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Appendices A - D: Appendices to Mass Terms and Plurals.
Hasle, Per Frederik Vilhelm, 1988, University of Cambridge Computer Laboratory.Research output: Book/Report › Ph.D. thesis › Research
- Accepted/In press
Arthur N. Prior: Past, Present and Future. Second revised and annotated edition.
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., David, J. & Cresswell, M., 2024, (Accepted/In press) Oxford University Press. 267 p.Research output: Book/Report › Book › 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
Bibliography of A.N. Prior's Writings
Hasle, Per Frederik Vilhelm, 2003, Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense. Hasle, Per; et al. (editors) (ed.). Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Boxes - Introduction
Hasle, Per Frederik Vilhelm, 2004, In: http://www.kommunikation.aau.dk/prior/index2.htm.Research output: Contribution to journal › Journal article › Research
Brugervejledning til prototypeprogrammet Tanal
Hasle, Per Frederik Vilhelm, 1991, In: Naturlige og formelle sprog.Research output: Contribution to journal › Journal article › Research › peer-review
Building a Temporal Logic for Natural Language Understanding with the HOL-system
Hasle, Per Frederik Vilhelm, 1991, Natural Language Understanding and Logic Programming. Brown, C. & Kock, G. (eds.). North Holland, Dordrecht, p. 92-110Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
C. A. Meredith, A. N. Prior, and Possible Worlds.
Hasle, Per Frederik Vilhelm & Rybaříková, Z., 2018, Logic and Philosophy of Time: Themes from Prior. Hasle, P., Blackburn, P. & Øhrstrøm, P. (eds.). Aalborg Universitetsforlag, Vol. I. p. 41-62 22 p. (Logic and Philosophy of Time: Themes from Prior, Vol. I).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Changes in Events and Changes in Things [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., Braüner, T. & Copeland, J., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (eds.). Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Contemplation and Action [annoteret udgave af Arthur N. Priors artikel[
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (eds.). Oxford: Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Counterfactuals and Branching Time in Automated Text Analysis
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 1992, Computational Approaches to Text Understanding. Copenhagen: Museum Tusculanum, p. 13-27Research 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
Digital Research Infrastructure for Prior-Studies and Temporal Logic
Hasle, Per Frederik Vilhelm, Jakobsen, D. & Øhrstrøm, P., 2018Research output: Other contribution › Net publication - Internet publication › Research › peer-review
Egocentric Logic [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
From a logical angle: Some studies in A. N. Prior's ideas on time, discurse and metaphysics
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 1 Oct 2012, In: Synthese. 188, 3, p. 325-330 6 p.Research output: Contribution to journal › Journal article › Research › peer-review
Fugitive Truth [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Future Contingents
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2015, Stanford Encyclopedia of Philosophy. Zalta, E. (ed.). Summer 2011 Edition ed. Stanford: Stanford University PressResearch output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review
Identifiable Individuals [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
In Celebration of Past, Present and Future
Hasle, Per Frederik Vilhelm, Jakobsen, D. & Øhrstrøm, P., 2018, Logic and Philosophy of Time - Themes from Prior. Hasle, P., Blackburn, P. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, Vol. I. p. 9-28 20 p. (Logic and Philosophy of Time: Themes from Prior, Vol. I).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Submitted
Information as Representation or as Rhetoric
Hasle, Per Frederik Vilhelm, 2017, (Submitted) In: Cybernetics & Human Knowing - A Journal of Second Order Cybernetics, Autopoiesis and Cyber-Semiotics.Research output: Contribution to journal › Journal article › Research › peer-review
Informationsarkitektur i retorisk perspektiv
Hasle, Per Frederik Vilhelm, 2006, In: DF Revy. 29, 2, p. 22-25Research output: Contribution to journal › Journal article › Research › peer-review
Introduction
Hasle, Per Frederik Vilhelm & al.:, E., 2003, Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense. Hasle, Per : et al. (editors) (ed.). Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Introduction to Bibliography of A. N. Prior's Writings
Hasle, Per Frederik Vilhelm, 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (eds.). Oxford: Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Life of Arthur N. Prior, 1914-1969: A Brief Overview
Hasle, Per Frederik Vilhelm, 2004, In: www.kommunikation.aau.dk/prior.Research output: Contribution to journal › Journal article › Research
Limited Indeterminism [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Linguistic and Tense-Logical Considerations on the Generality of a Three-Point Structure of Tenses
Hasle, Per Frederik Vilhelm, 1997, Perspectives on Time. Faye et al., J. (ed.). Kluwer Academic Publishers, p. 323–344Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Logic Grammar and the Triadic Sign Relation
Hasle, Per Frederik Vilhelm, 1993, The Computer as Medium. Bøgh Andersen, P., Holmqvist, B. & Jensen, J. F. (eds.). p. 104-127Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Logic Grammars: Some Methodological Aspects
Hasle, Per Frederik Vilhelm, 1991, In: Natural and Formal Languages.Research output: Contribution to journal › Journal article › Research › peer-review
Logic Grammars in Linguistic Description
Hasle, Per Frederik Vilhelm, 1991, Contrastive Linguistics. Lauridsen, K. M. & Lauridsen, O. (eds.). Aarhus School of Business, p. 105-143Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Logic and Philosophy of Time: Themes from Prior
Hasle, Per Frederik Vilhelm (ed.), Blackburn, P. R. (ed.) & Øhrstrøm, P. (ed.), 2018, Logic and philosophy of time: Themes from Prior. Aalborg Universitetsforlag, Vol. 1. (Logic and Philosophy of Time, Vol. vol 1).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Logic and Philosophy of Time: Further Themes from Prior
Hasle, Per Frederik Vilhelm (ed.), Jakobsen, D. & Øhrstrøm, P., 2019, Aalborg Universitetsforlag. 230 p. (Logic and Philosophy of Time, Vol. II).Research output: Book/Report › Anthology › Research › peer-review
- Published
Logic and Philosophy of Time: Themes from Prior
Hasle, Per Frederik Vilhelm (ed.), Jakobsen, D. (ed.) & Øhrstrøm, P., 2019, Aalborg Universitetsforlag. 462 p. (Logic and Philosophy of Time, Vol. IV).Research output: Book/Report › Anthology › Research › peer-review
Logica Temporale
Hasle, Per Frederik Vilhelm, 2006, Enciclopedia Filosofica de Gallarate. Casa Editrice Bompiani, p. 6735-6744Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia 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
Mass Terms and Plurals: From Linguistic Theory to Natural Language Processing.
Hasle, Per Frederik Vilhelm, 1988, University of Cambridge Computer Laboratory. 171 p. (Technical Report; No. 137).Research output: Book/Report › Ph.D. thesis › Research
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 proceeding › Book chapter › Research › peer-review
- Published
Mening, mystik og metafysik i sproget - som set i Wittgensteins Tractatus
Hasle, Per Frederik Vilhelm, 2015, Mening med tiden. Ploug, T. (ed.). Aalborg: Aalborg Universitetsforlag, p. 25 - 47 23 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Modal Logic and the Logic of Applicability [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (eds.). Oxford: Oxford University PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › 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
Now [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
On Spurious Egocentricity [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Otto Jespersen and Hans Reichenbach as Precursors of Modern Tense Logic: an Abstract
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 1995, Abstracts from the 10th International Conference of Logic, Methodology, and Philosophy of Science. p. 1Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Peirce og Montague
Hasle, Per Frederik Vilhelm, 1993, Tegn & Data: en semiotisk tilgang til humanistisk datalogi. Jensen, J. F., Lytje, I. & Øhrstrøm, P. (eds.). Aalborg Universitetsforlag, p. 75-97Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Persuasiv design: A different approach to information systems (and information)
Hasle, Per Frederik Vilhelm, 2011, In: Library Hi Tech. 29, 4, p. 569-72 4 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Persuasive 2010: Proceedings of Poster Papers for the Fifth International Conference on Persuasive Technology. Copenhagen, Denmark - June 7-9, 2010
Hasle, Per Frederik Vilhelm (ed.), Oinas-Kukkonen, H. (ed.), Ploug, T. (ed.) & Räisänen, T. (ed.), 2010, Oulu: Oulu University Press. 122 p. (University of Oulu. Department of Information Processing Science. Series A, Research Papers, Vol. A 43).Research output: Book/Report › Anthology › Research › peer-review
Persuasive Design
Hasle, Per Frederik Vilhelm & Christensen, A. K., 2008, Handbook of Research on Computer-Mediated Communication.. Kelsey, S. & St. Amant, K. (eds.). IGI global, p. 447-498 51 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Persuasive Technology: A Discipline Taking Shape
Hasle, Per Frederik Vilhelm, Oinas-Kukkonen, H. & Ploug, T., 2010, 2 p. Berlin : Springer.Research output: Other contribution › Research
- Published
Persuasive Technology: 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings
Ploug, T. (ed.), Hasle, Per Frederik Vilhelm (ed.) & Oinas-Kukkonen, H. (ed.), 2010, Berlin: Springer. 299 p. (Lecture notes in computer science).Research output: Book/Report › Anthology › Research › peer-review
- Published
Preface
Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 Oct 2012, 2 p.Research output: Other contribution › Research
- Published
Preface
Albretsen, J., Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2016, In: Synthese. 193, 11, p. 3397-3399 3 p.Research output: Contribution to journal › Editorial › Research › peer-review
Preface
Hasle, Per Frederik Vilhelm, 2003, Interpreting Spinoza’s Arguments. Toward a Formal Theory of Consistent Language Scepticism, Imitating Ethica. Nielsen, Karsten Hvidtfelt (ed.). New York : Mellen Press: Edwin Mellen Press, p. 280Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Preface
Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Braüner, T., 2006, 2 p. Springer.Research output: Other contribution › Research
- Published
Preface
Hasle, Per Frederik Vilhelm, 2018, Logic an Philosphy of Time: Themes from Prior. Aalborg Universitetsforlag, Vol. 1. p. 5-8 4 p. (Logic and Philosophy of Time, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Prior Studies: A Research Site for Prior Studies and Temporal Logic
Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Jakobsen, D., 2023Research output: Other contribution › Net publication - Internet publication › Research
- Published
Prior, A. N.
Hasle, Per Frederik Vilhelm, 2010, A Companion to Philosophy in Australia and New Zealand. Trakakis, N. & Oppy, G. (eds.). Clayton: Monash University Publishing, p. 467-470 4 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Prior’s paradigm for the study of time and its methodological motivation
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., Nov 2016, In: Synthese. 193, 11, p. 3401-3416 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Prior’s turn from determinism to indeterminism
Hasle, Per Frederik Vilhelm & Jakobsen, D., 2023, In: Logic and Philosophy of Time: Themes from Prior. 5, 1, 21 p.Research output: Contribution to journal › Journal article › Research › peer-review
Program Semiosis
Hasle, Per Frederik Vilhelm, 1994, Logic, Knowledge and Meaning. Lytje, I. (ed.). p. 101-125 (Topics in Cognitive Science and HCI).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Quasi-Propositions and Quasi Individuals [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Reasoning About Plural Entities in a Temporal Logic
Hasle, Per Frederik Vilhelm, 1989, In: Natural and Formal Languages. S.7Research output: Contribution to journal › Journal article › Research › peer-review
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
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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., Braüner, T. & Copeland, J., 2003, Arthur N. Prior: Papers on Time and Tense ( New Edition ). Hasle,Per : Øhrstrøm, Peter : Braüner, Torben : Copeland, Jack (eds.) (ed.). London: Oxford University Press, p. 350Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Secondary literature on Prior
Hasle, Per Frederik Vilhelm, 2004, In: www.kommunikation.aau.dk/prior.Research output: Contribution to journal › Journal article › Research
Sprog, tid og logik
Braüner, T. & Hasle, Per Frederik Vilhelm, 2003, Sprog og matematik. Henrichsen, Peter Juel; Prebensen, Henrik (red.) (ed.). Kbh.: Djøf Forlag, p. 84-101Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Stratified Metric Tense Logic [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
System udvikling: Logos eller Mythos
Hasle, Per Frederik Vilhelm & Braüner, T., 1998, In: Rhetorica Scandinavica. 6, p. 33-45Research output: Contribution to journal › Journal article › Research › peer-review
Systemudvikling – logos eller mythos?
Hasle, Per Frederik Vilhelm & Braüner, T., 1998, In: Rhetorica Scandinavica. 2, 6, p. 30–45Research output: Contribution to journal › Journal article › Research
- Published
THE RESEARCH PROJECT THE PRIMACY OF TENSE – PRIOR'S NOW AND THEN. (WITH PETER ØHRSTRØM)
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 3 Mar 2018. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
TIME, PREDESTINATION AND FREEWILL: A line of development in the thought of Arthur Prior
Hasle, Per Frederik Vilhelm, 3 Mar 2018. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Tense Logic and the Logic of Earlier and Later [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Tense-Logic for Non-Permanent Existents [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Tensed Propositions as Predicates [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
The Beginnings of Hybrid Logic: Meredith, Prior and the Contingent Constant n
Hasle, Per Frederik Vilhelm, 2020, Logic and Philosophy of Time: Themes from Prior. Aalborg Universitetsforlag, Vol. IV. p. 145-165 20 p. (Logic and Philosophy of Time, Vol. IV).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
The Consequences of Actions [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
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
The Formalities of Omniscience [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
The Founder of Modern Temporal Logic: A.N. Prior (1914-1969)
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2004, In: www.kommunikation.aau.dk/prior.Research output: Contribution to journal › Journal article › Research
- Published
The History and Philosophy of Tense-logic: Logic and Philosophy of Time: Themes from Prior
Jakobsen, D. (ed.), Hasle, Per Frederik Vilhelm (ed.) & Øhrstrøm, P. (ed.), 2023, Aalborg Universitetsforlag. 329 p. (Logic and Philosophy of Time: Themes from Prior; No. 1, Vol. 5).Research output: Book/Report › Anthology › Research › peer-review
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
The Logic of Ending Time [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
The Prior-project: From Archive Boxes to a Research Community
Engerer, Volkmar Paul, Roued, Henriette, Albretsen, J. & Hasle, Per Frederik Vilhelm, 21 Mar 2017.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
The Problem of Predestination – a Prelude to A. N. Prior's Tense Logic
Hasle, Per Frederik Vilhelm, 1999, Time, Creation and World-Order. Wegener, M. (ed.). Acta Jutlandica. Aarhus University Press, p. 139-159Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Significance of the Contributions of A.N. Prior and Jerzy Łoś in the Early History of Modern Temporal Logic
Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2019, Logic and philosophy: Themes from Prior. Aalborg Universitetsforlag, Vol. II. p. 31-40 10 p. (Logic and Philosophy of Time, Vol. II).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
The problem of predestination: as a prelude to A. N. Prior's tense logic
Hasle, Per Frederik Vilhelm, 1 Oct 2012, In: Synthese. 188, 3, p. 331-347 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
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 proceeding › Encyclopedia 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
Time, Existence and Identity [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
Truth, Time and Mythos in Cicero, St. Paul and St. Jerome
Hasle, Per Frederik Vilhelm, 2002, Time, Reality and Transcendence. Øhrstrøm, P. (ed.). p. 161-192Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Worlds, Times and Selves [annoteret udgave af Arthur N. Priors artikel]
Hasle, Per Frederik Vilhelm, Øhrstrøm, P., 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 PressResearch output: Chapter in Book/Report/Conference proceeding › Comment › Research
ID: 43863200
Most downloads
-
279
downloads
Prior’s paradigm for the study of time and its methodological motivation
Research output: Contribution to journal › Journal article › Research › peer-review
Published