Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Medlem af:


    1. 2006
    2. Modern Temporal Logic: The Philosophical Background

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 447-498

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    3. Udgivet

      Preface

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

      Publikation: AndetAndet bidragForskning

    4. 2004
    5. A brief Historiy of the Prior Archive in the Bodleian Library

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    6. Boxes - Introduction

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    7. Life of Arthur N. Prior, 1914-1969: A Brief Overview

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    8. Secondary literature on Prior

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    9. The Flow of Time into Logic: and Computer Science

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2004, Bulletin of the European Association for Theoretical Computer Science. s. 191-226 (EATCS; Nr. 82).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    10. The Founder of Modern Temporal Logic: A.N. Prior (1914-1969)

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2004, I: www.kommunikation.aau.dk/prior.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    11. 2003
    12. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    13. 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) (red.). Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    14. 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. (red.). Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    15. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    16. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    17. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    18. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    19. 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) (red.). Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    20. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    21. 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) (red.). Oxford University Press, s. 342

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

    22. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    23. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    24. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    25. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    26. Preface

      Hasle, Per Frederik Vilhelm, 2003, Interpreting Spinoza’s Arguments. Toward a Formal Theory of Consistent Language Scepticism, Imitating Ethica. Nielsen, Karsten Hvidtfelt (red.). New York : Mellen Press: Edwin Mellen Press, s. 280

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    27. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    28. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    29. 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.) (red.). London: Oxford University Press, s. 350

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    30. Software som tekst. En fortolkende anmeldelse

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

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

    31. Sprog, tid og logik

      Braüner, T. & Hasle, Per Frederik Vilhelm, 2003, Sprog og matematik. Henrichsen, Peter Juel; Prebensen, Henrik (red.) (red.). Kbh.: Djøf Forlag, s. 84-101

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    32. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    33. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    34. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    35. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    36. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    37. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    38. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    39. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    40. 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. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapportKommentarForskning

    41. ’Software som tekst. En fortolkende anmeldelse’

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

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

    42. 2002
    43. Truth, Time and Mythos in Cicero, St. Paul and St. Jerome

      Hasle, Per Frederik Vilhelm, 2002, Time, Reality and Transcendence. Øhrstrøm, P. (red.). s. 161-192

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    44. 2000
    45. Determinism and the Origins of Temporal Logic

      Øhrstrøm, P., Braüner, T. & Hasle, Per Frederik Vilhelm, 2000, Advances in Temporal Logic. Barring, H. ...[et al.] (eds.) (red.).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    46. 1999
    47. 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. (red.). Acta Jutlandica. Aarhus University Press, s. 139-159

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    48. 1998
    49. System udvikling: Logos eller Mythos

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    50. Systemudvikling – logos eller mythos?

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    51. 1997
    52. 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. (red.). Kluwer Academic Publishers, s. 323–344

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    53. 1995
    54. 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. s. 1

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    55. 1994
    56. Program Semiosis

      Hasle, Per Frederik Vilhelm, 1994, Logic, Knowledge and Meaning. Lytje, I. (red.). s. 101-125 (Topics in Cognitive Science and HCI).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    57. 1993
    58. 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. (red.). s. 104-127

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    59. Peirce og Montague

      Hasle, Per Frederik Vilhelm, 1993, Tegn & Data: en semiotisk tilgang til humanistisk datalogi. Jensen, J. F., Lytje, I. & Øhrstrøm, P. (red.). Aalborg Universitetsforlag, s. 75-97

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    60. The Idea of Branching Time

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1993, Time and Cognition. Øhrstrøm, Peter (red.) (red.). Roskilde Universitetsforlag, s. 100-113 (Topics in Cognitive Science and HCI; Nr. 1).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    61. 1992
    62. Counterfactuals and Branching Time in Automated Text Analysis

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 1992, Computational Approaches to Text Understanding. Copenhagen: Museum Tusculanum, s. 13-27

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    ID: 43863200