Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Member of:

    ORCID: 0000-0002-2622-2547

    Publication year:
    All
    51 - 100 out of 109Page size: 50
    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. (eds.). Pergamon Press, Vol. 7. p. 447-498

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

    3. 2004

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

    5. Boxes - Introduction

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

      Research output: Contribution to journal › Journal article › Research

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

    7. Secondary literature on Prior

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

      Research output: Contribution to journal › Journal article › Research

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

    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. p. 191-226 (EATCS; No. 82).

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

    10. 2003

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    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) (ed.). Oxford University Press, p. 342

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    41. 2002

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

    43. 2000

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

    45. 1999

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

    47. 1998

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

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

    50. 1997

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

    52. 1995

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

    54. 1994

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

    56. 1993

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

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

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

    60. 1992

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

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

    Previous 1 2 3 Next

    ID: 43863200