Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Member of:

    ORCID: 0000-0002-2622-2547

    Publication year:
    All
    1 - 93 out of 93Page size: 100
    1. 2024
    2. 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

    3. 2023
    4. Published

      Prior Studies: A Research Site for Prior Studies and Temporal Logic

      Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Jakobsen, D., 2023

      Research output: Other contribution › Net publication - Internet publication › Research

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

    6. 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

    7. 2020
    8. 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

    9. 2019
    10. 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

    11. 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

    12. 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

    13. 2018
    14. 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

    15. 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

    16. 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

    17. 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

    18. Published

      Digital Research Infrastructure for Prior-Studies and Temporal Logic

      Hasle, Per Frederik Vilhelm, Jakobsen, D. & Øhrstrøm, P., 2018

      Research output: Other contribution › Net publication - Internet publication › Research › peer-review

    19. 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

    20. 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

    21. 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

    22. 2017
    23. 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

    24. 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

    25. 2016
    26. 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

    27. 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

    28. 2015
    29. 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 Press

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

    30. 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

    31. 2012
    32. 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

    33. Published

      Preface

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

      Research output: Other contribution › Research

    34. 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

    35. 2011
    36. 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

    37. 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

    38. 2010
    39. 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

    40. 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

    41. 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

    42. 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

    43. 2009

    44. 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

    45. 2008

    46. 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

    47. 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

    48. 2006

    49. 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

    50. Informationsarkitektur i retorisk perspektiv

      Hasle, Per Frederik Vilhelm, 2006, In: DF Revy. 29, 2, p. 22-25

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

    51. Logica Temporale

      Hasle, Per Frederik Vilhelm, 2006, Enciclopedia Filosofica de Gallarate. Casa Editrice Bompiani, p. 6735-6744

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

    52. 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

    53. Published

      Preface

      Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Braüner, T., 2006, 2 p. Springer.

      Research output: Other contribution › Research

    54. 2004

    55. 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

    56. Boxes - Introduction

      Hasle, Per Frederik Vilhelm, 2004, In: http://www.kommunikation.aau.dk/prior/index2.htm.

      Research output: Contribution to journal › Journal article › Research

    57. 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

    58. Secondary literature on Prior

      Hasle, Per Frederik Vilhelm, 2004, In: www.kommunikation.aau.dk/prior.

      Research output: Contribution to journal › Journal article › Research

    59. 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

    60. 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

    61. 2003

    62. 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 Press

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

    63. 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 Press

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

    64. 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 Press

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

    65. 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 Press

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

    66. 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 Press

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

    67. 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 Press

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

    68. 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 Press

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

    69. 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 Press

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

    70. 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 Press

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

    71. 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 Press

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

    72. 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 Press

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

    73. 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 Press

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

    74. 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 Press

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

    75. 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. 280

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

    76. 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 Press

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

    77. 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 proceeding › Comment › Research

    78. 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. 350

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

    79. 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-101

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

    80. 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 Press

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

    81. 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 Press

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

    82. 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 Press

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

    83. 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 Press

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

    84. 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 Press

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

    85. 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 Press

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

    86. 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 Press

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

    87. 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 Press

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

    88. 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 Press

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

    89. 2002

    90. 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-192

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

    91. 2000

    92. 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

    93. 1999

    94. 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-159

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

    95. 1998

    96. System udvikling: Logos eller Mythos

      Hasle, Per Frederik Vilhelm & Braüner, T., 1998, In: Rhetorica Scandinavica. 6, p. 33-45

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

    97. Systemudvikling – logos eller mythos?

      Hasle, Per Frederik Vilhelm & Braüner, T., 1998, In: Rhetorica Scandinavica. 2, 6, p. 30–45

      Research output: Contribution to journal › Journal article › Research

    98. 1997

    99. 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–344

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

    100. 1995

    101. 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. 1

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

    102. 1994

    103. 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

    104. 1993

    105. 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-127

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

    106. 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-97

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

    107. 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

    108. 1992

    109. 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-27

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

    110. 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

    111. 1991

    112. Brugervejledning til prototypeprogrammet Tanal

      Hasle, Per Frederik Vilhelm, 1991, In: Naturlige og formelle sprog.

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

    113. 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-110

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

    114. 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

    115. Logic Grammars in Linguistic Description

      Hasle, Per Frederik Vilhelm, 1991, Contrastive Linguistics. Lauridsen, K. M. & Lauridsen, O. (eds.). Aarhus School of Business, p. 105-143

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

    116. 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

    117. 1989

    118. Reasoning About Plural Entities in a Temporal Logic

      Hasle, Per Frederik Vilhelm, 1989, In: Natural and Formal Languages. S.7

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

    119. 1988

    120. 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

    121. 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

    ID: 43863200