Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Medlem af:


    1. 2024
    2. Accepteret/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, (Accepteret/In press) Oxford University Press. 267 s.

      Publikation: Bog/antologi/afhandling/rapportBogForskning

    3. 2023
    4. Udgivet

      Da sandheden blev væk

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

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

    5. Udgivet

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

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

      Publikation: AndetUdgivelser på nettet - Net-publikationForskning

    6. Udgivet

      Prior’s turn from determinism to indeterminism

      Hasle, Per Frederik Vilhelm & Jakobsen, D., 2023, I: Logic and Philosophy of Time: Themes from Prior. 5, 1, 21 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

    8. 2022
    9. Udgivet

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

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

      Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

    10. Udgivet

      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

      Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

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

    13. 2019
    14. Udgivet

      Logic and Philosophy of Time: Further Themes from Prior

      Hasle, Per Frederik Vilhelm (red.), Jakobsen, D. & Øhrstrøm, P., 2019, Aalborg Universitetsforlag. 230 s. (Logic and Philosophy of Time, Bind II).

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

    15. Udgivet

      Logic and Philosophy of Time: Themes from Prior

      Hasle, Per Frederik Vilhelm (red.), Jakobsen, D. (red.) & Øhrstrøm, P., 2019, Aalborg Universitetsforlag. 462 s. (Logic and Philosophy of Time, Bind IV).

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

    16. Udgivet

      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, Bind II. s. 31-40 10 s. (Logic and Philosophy of Time, Bind II).

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

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

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

    20. Udgivet

      Arthur Prior: Logic

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Jakobsen, D., 2018, I: Internet Encyclopedia of Philosophy.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    21. Udgivet

      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. (red.). Aalborg Universitetsforlag, Bind I. s. 41-62 22 s. (Logic and Philosophy of Time: Themes from Prior, Bind I).

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

    22. Udgivet

      Digital Research Infrastructure for Prior-Studies and Temporal Logic

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

      Publikation: AndetUdgivelser på nettet - Net-publikationForskningfagfællebedømt

    23. Udgivet

      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. (red.). Aalborg: Aalborg Universitetsforlag, Bind I. s. 9-28 20 s. (Logic and Philosophy of Time: Themes from Prior, Bind I).

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

    24. Udgivet

      Logic and Philosophy of Time: Themes from Prior

      Hasle, Per Frederik Vilhelm (red.), Blackburn, P. R. (red.) & Øhrstrøm, P. (red.), 2018, Logic and philosophy of time: Themes from Prior. Aalborg Universitetsforlag, Bind 1. (Logic and Philosophy of Time, Bind vol 1).

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

    25. Udgivet

      Preface

      Hasle, Per Frederik Vilhelm, 2018, Logic an Philosphy of Time: Themes from Prior. Aalborg Universitetsforlag, Bind 1. s. 5-8 4 s. (Logic and Philosophy of Time, Bind 1).

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

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

    28. Afsendt

      Information as Representation or as Rhetoric

      Hasle, Per Frederik Vilhelm, 2017, (Afsendt) I: Cybernetics & Human Knowing - A Journal of Second Order Cybernetics, Autopoiesis and Cyber-Semiotics.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    29. 2016
    30. Udgivet

      Prior’s paradigm for the study of time and its methodological motivation

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., nov. 2016, I: Synthese. 193, 11, s. 3401-3416 16 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    31. Udgivet

      Preface

      Albretsen, J., Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2016, I: Synthese. 193, 11, s. 3397-3399 3 s.

      Publikation: Bidrag til tidsskriftLederForskningfagfællebedømt

    32. 2015
    33. Udgivet

      Institutleder garanterer kvalitetsundervisning i Aalborg frem til lukningen af IVA

      Hasle, Per Frederik Vilhelm, 9 nov. 2015, I: Universitetsavisen.

      Publikation: Bidrag til tidsskriftBidrag til avis - Kommentar/debatFormidling

    34. Udgivet

      Et slag for bibliometrien

      Hasle, Per Frederik Vilhelm, 2015, I: Revy. 38, 3, s. 24-24 1 s.

      Publikation: Bidrag til tidsskriftKommentar/debatFormidling

    35. Udgivet

      Future Contingents

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2015, Stanford Encyclopedia of Philosophy. Zalta, E. (red.). Summer 2011 Edition udg. Stanford: Stanford University Press

      Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningfagfællebedømt

    36. Udgivet

      IVA har styrket det digitale felt

      Hasle, Per Frederik Vilhelm, 2015, I: Perspektiv. 3, s. 32 1 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

    37. Udgivet

      IVA på rette spor

      Hasle, Per Frederik Vilhelm, 2015, I: Danmarks Biblioteker. 2, s. 26-27 2 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

    38. Udgivet

      Mening, mystik og metafysik i sproget - som set i Wittgensteins Tractatus

      Hasle, Per Frederik Vilhelm, 2015, Mening med tiden. Ploug, T. (red.). Aalborg: Aalborg Universitetsforlag, s. 25 - 47 23 s.

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

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

    40. 2014
    41. Udgivet

      IVA i universitetsregi

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

    42. Udgivet

      On Prior's Frist Things in Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2014, First things in Logic. Aalborg: Aalborg University Press, s. 4-5 2 s.

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

    43. 2012
    44. Udgivet

      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 okt. 2012, I: Synthese. 188, 3, s. 325-330 6 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    45. Udgivet

      Preface

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

      Publikation: AndetAndet bidragForskning

    46. Udgivet

      The problem of predestination: as a prelude to A. N. Prior's tense logic

      Hasle, Per Frederik Vilhelm, 1 okt. 2012, I: Synthese. 188, 3, s. 331-347 16 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    47. 2011
    48. Udgivet

      Persuasiv design: A different approach to information systems (and information)

      Hasle, Per Frederik Vilhelm, 2011, I: Library Hi Tech. 29, 4, s. 569-72 4 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

    50. 2010
    51. Udgivet

      Persuasive 2010: Proceedings of Poster Papers for the Fifth International Conference on Persuasive Technology. Copenhagen, Denmark - June 7-9, 2010

      Hasle, Per Frederik Vilhelm (red.), Oinas-Kukkonen, H. (red.), Ploug, T. (red.) & Räisänen, T. (red.), 2010, Oulu: Oulu University Press. 122 s. (University of Oulu. Department of Information Processing Science. Series A, Research Papers, Bind A 43).

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

    52. Udgivet

      Persuasive Technology: A Discipline Taking Shape

      Hasle, Per Frederik Vilhelm, Oinas-Kukkonen, H. & Ploug, T., 2010, 2 s. Berlin : Springer.

      Publikation: AndetAndet bidragForskning

    53. Udgivet

      Persuasive Technology: 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings

      Ploug, T. (red.), Hasle, Per Frederik Vilhelm (red.) & Oinas-Kukkonen, H. (red.), 2010, Berlin: Springer. 299 s. (Lecture notes in computer science).

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

    54. Udgivet

      Prior, A. N.

      Hasle, Per Frederik Vilhelm, 2010, A Companion to Philosophy in Australia and New Zealand. Trakakis, N. & Oppy, G. (red.). Clayton: Monash University Publishing, s. 467-470 4 s.

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

    55. 2009
    56. Udgivet

      Biblioteker - nu også med Ethos

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

    57. Udgivet

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

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

      Publikation: Bidrag til tidsskriftKommentar/debatFormidling

    58. Time in Philosophical Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2009, Encyclopedia of Database Systems. Springer, s. 3107-3111 5 s.

      Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

    59. Udgivet

      Time in Philosophical Logic

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

      Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelFormidling

    60. 2008
    61. Persuasive Design

      Hasle, Per Frederik Vilhelm & Christensen, A. K., 2008, Handbook of Research on Computer-Mediated Communication.. Kelsey, S. & St. Amant, K. (red.). IGI global, s. 447-498 51 s.

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

    62. 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. (red.). Aalborg: Time Center: http://www.cs.aau.dk/TimeCenter, s. 287-292 6 s. (TimeCenter Technical Report).

      Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

    63. 2006
    64. 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. (red.). Pergamon Press, Bind 7. s. 399-446

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

    65. Informationsarkitektur i retorisk perspektiv

      Hasle, Per Frederik Vilhelm, 2006, I: DF Revy. 29, 2, s. 22-25

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    66. Logica Temporale

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

      Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

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

    68. Udgivet

      Preface

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

      Publikation: AndetAndet bidragForskning

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

    71. Boxes - Introduction

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

    73. Secondary literature on Prior

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    115. Systemudvikling – logos eller mythos?

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

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

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

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

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

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

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

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

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

    129. 1991
    130. Brugervejledning til prototypeprogrammet Tanal

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    131. 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. (red.). North Holland, Dordrecht, s. 92-110

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

    132. Logic Grammars: Some Methodological Aspects

      Hasle, Per Frederik Vilhelm, 1991, I: Natural and Formal Languages.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    133. Logic Grammars in Linguistic Description

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

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

    134. Medieval Logic and Natural Language Understanding

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1991, Natural Language Understanding and Logic Programming. North Holland, Dordrecht, s. 75-91 17 s.

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

    135. 1989
    136. Brugervejledning til prototypeprogrammet TAnal

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

      Publikation: Bog/antologi/afhandling/rapportBogUndervisning

    137. Reasoning About Plural Entities in a Temporal Logic

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    138. 1988
    139. Appendices A - D: Appendices to Mass Terms and Plurals.

      Hasle, Per Frederik Vilhelm, 1988, University of Cambridge Computer Laboratory.

      Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    140. Mass Terms and Plurals: From Linguistic Theory to Natural Language Processing.

      Hasle, Per Frederik Vilhelm, 1988, University of Cambridge Computer Laboratory. 171 s. (Technical Report; Nr. 137).

      Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    ID: 43863200