Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Member of:

    ORCID: 0000-0002-2622-2547

    Publication year:
    All
    1 - 110 out of 110Page size: 500
    1. 1988

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

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

    4. 1989

    5. Brugervejledning til prototypeprogrammet TAnal

      Hasle, Per Frederik Vilhelm, 1989, Aalborg Universitetsforlag. 46 p. (Natural and Formal Languages Project; No. 11).

      Research output: Book/Report › Book › Education

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

    7. 1991

    8. Brugervejledning til prototypeprogrammet Tanal

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

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

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

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

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

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

    13. 1992

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

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

    16. 1993

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

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

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

    20. 1994

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

    22. 1995

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

    24. 1997

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

    26. 1998

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

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

    29. 1999

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

    31. 2000

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

    33. 2002

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

    35. 2003

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

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

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

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

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

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

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

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

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

    45. Life and Work of Arthur N. Prior: An Interview with Mary Prior

      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, p. 342

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

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

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

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

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

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

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

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

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

    54. Software som tekst. En fortolkende anmeldelse

      Hasle, Per Frederik Vilhelm, 2003, Impact - Inger Lytje in memoriam. Schärfe, Henrik (ed.). Aalborg: Aalborg Universitetsforlag

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

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

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

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

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

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

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

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

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

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

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

    65. ’Software som tekst. En fortolkende anmeldelse’

      Hasle, Per Frederik Vilhelm, 2003, Impact - Inger Lytje in memoriam. Schärfe, Henrik (ed.) (ed.). Aalborg Universitetsforlag: Aalborg Universitetsforlag

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

    66. 2004

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

    68. Boxes - Introduction

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

      Research output: Contribution to journal › Journal article › Research

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

    70. Secondary literature on Prior

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

      Research output: Contribution to journal › Journal article › Research

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

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

    73. 2006

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

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

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

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

    78. Published

      Preface

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

      Research output: Other contribution › Research

    79. 2008

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

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

    82. 2009
    83. Published

      Biblioteker - nu også med Ethos

      Hasle, Per Frederik Vilhelm & Drost, P., 2009, In: DF Revy. 6, p. 16-17 2 p.

      Research output: Contribution to journal › Journal article › Communication

    84. Published

      Har bibliotekssektoren behov for en uddannelse mere? Ja, hvorfor ikke? En replik til Eli Greve

      Hasle, Per Frederik Vilhelm & Andersen, Jack, 2009, In: DF Revy. 2009, 3, p. 14 1 p.

      Research output: Contribution to journal › Comment/debate › Communication

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

    86. Published

      Time in Philosophical Logic

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2009, Encyclopedia of Database Systems. Ling, L. & Özsu, M. T. (eds.). Springer Publishing Company, p. 3107-3111 5 p.

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

    87. 2010
    88. 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

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

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

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

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

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

    95. 2012
    96. 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

    97. Published

      Preface

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

      Research output: Other contribution › Research

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

    99. 2014
    100. Published

      IVA i universitetsregi

      Hasle, Per Frederik Vilhelm, 2014, In: Danmarks Biblioteker. 18. årgang, 1, p. 24-25 2 p.

      Research output: Contribution to journal › Journal article › Communication

    101. 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 proceeding › Book chapter › Communication

    102. 2015
    103. Published

      Et slag for bibliometrien

      Hasle, Per Frederik Vilhelm, 2015, In: Revy. 38, 3, p. 24-24 1 p.

      Research output: Contribution to journal › Comment/debate › Communication

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

    105. Published

      IVA har styrket det digitale felt

      Hasle, Per Frederik Vilhelm, 2015, In: Perspektiv. 3, p. 32 1 p.

      Research output: Contribution to journal › Journal article › Communication

    106. Published

      IVA på rette spor

      Hasle, Per Frederik Vilhelm, 2015, In: Danmarks Biblioteker. 2, p. 26-27 2 p.

      Research output: Contribution to journal › Journal article › Communication

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

    108. Published

      The Concept of Information in Library and Information Science: A field in search of its boundaries: 8 short comments concerning information

      Thellefsen, T. L. (ed.), Thellefsen, Martin Muderspach (ed.), Sørensen, B. (ed.), Floridi, L., Brier, S., Sørensen, B., Thellefsen, Martin Muderspach, Thellefsen, T. L., Dervin, B., Herold, K., Hasle, Per Frederik Vilhelm & Buckland, M., 2015, In: Cybernetics & Human Knowing - A Journal of Second Order Cybernetics, Autopoiesis and Cyber-Semiotics. 22, 1, p. 57-80 23 p.

      Research output: Contribution to journal › Journal article › Communication

    109. Published

      Institutleder garanterer kvalitetsundervisning i Aalborg frem til lukningen af IVA

      Hasle, Per Frederik Vilhelm, 9 Nov 2015, In: Universitetsavisen.

      Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

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

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

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

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

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

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

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

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

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

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

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

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

    125. 2019
    126. 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

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

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

    129. 2020
    130. 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

    131. 2022
    132. Published

      A.N. Prior and Saul Kripke’s development of the idea of branching time

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

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

    133. Published

      A.N. Prior and the argument from divine foreknowledge to the denial of human freedom of choice

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

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

    134. 2023
    135. Published

      Da sandheden blev væk

      Hasle, Per Frederik Vilhelm, 2023, Mennesket og internettet. . 15 p.

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

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

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

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

    139. 2024
    140. 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

    ID: 43863200