Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Medlem af:


    1. Reasoning about Plural Entities in a Temporal Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2011, AAU, Aalborg. 7 s. (Natural and Formal Languages, Bind 16).

      Publikation: Bog/antologi/afhandling/rapportRapportForskning

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

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

    4. Secondary literature on Prior

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

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

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

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

    9. Systemudvikling – logos eller mythos?

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    10. Udgivet

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

      Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

    11. Udgivet

      TIME, PREDESTINATION AND FREEWILL: A line of development in the thought of Arthur Prior

      Hasle, Per Frederik Vilhelm, 3 mar. 2018. 1 s.

      Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

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

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

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

    15. Udgivet

      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, Bind IV. s. 145-165 20 s. (Logic and Philosophy of Time, Bind IV).

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

    16. Udgivet

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

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

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

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

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

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

    21. Udgivet

      The History and Philosophy of Tense-logic: Logic and Philosophy of Time: Themes from Prior

      Jakobsen, D. (red.), Hasle, Per Frederik Vilhelm (red.) & Øhrstrøm, P. (red.), 2023, Aalborg Universitetsforlag. 329 s. (Logic and Philosophy of Time: Themes from Prior; Nr. 1, Bind 5).

      Publikation: Bog/antologi/afhandling/rapportAntologiForskningfagfællebedømt

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

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

    24. Udgivet

      The Prior-project: From Archive Boxes to a Research Community

      Engerer, Volkmar Paul, Roued, Henriette, Albretsen, J. & Hasle, Per Frederik Vilhelm, 21 mar. 2017.

      Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

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

    ID: 43863200