Three Little Essays: Arthur Prior in 1931 D Jakobsen, P Øhrstrøm, M Prior, A Rini Aalborg Universitetsforlag, 2020 | 5 | 2020 |
Remarks on hybrid modal logic with propositional quantfiers PR Blackburn, T Braüner, JL Kofod The metaphysics of time: Themes from prior, 401-426, 2020 | 5 | 2020 |
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers P Blackburn, T Braüner, JL Kofod International Workshop on Logic, Language, Information, and Computation, 118-134, 2023 | 2 | 2023 |
What on earth was Arthur Prior thinking?: About physics and hybrid logic JL Kofod Roskilde Universitet, 2022 | 2 | 2022 |
Arthur Prior and Special Theory of Relativity: Two Standpoints from the Nachlass JL Kofod The Metaphysics of Time: Themes from Prior, 227-247, 2020 | 1 | 2020 |
The Metaphysics of Time: Themes from Prior P Hasle, D Jakobsen, P Øhrstrøm Aalborg Universitetsforlag, 2020 | 1 | 2020 |
This Time As Grandfather PR Blackburn, T Braüner, JL Kofod Exploring Negation, Modality and Proof, 2024 | | 2024 |
Prior's Ideal Language PR Blackburn, T Braüner, JL Kofod Mathematical Structures in Computer Science, 2024 | | 2024 |
A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication JL Kofod, PR Blackburn, T Braüner Logic Journal of the IGPL, 2024 | | 2024 |
The Past, Present and Future of the Prior Internet Resources F Sabir, PR Blackburn, JL Kofod The History and Philosophy of Tense-logic, 2023 | | 2023 |
An Axiom System for Hybrid Logic with Propositional Quantifiers PR Blackburn, T Braüner, JL Kofod 29th Workshop on Logic, Language, Information and Computation, 2023 | | 2023 |
A Note on Hybrid Modal Logic with Propositional Quantifiers (Work in progress) P Blackburn, T Braüner, JL Kofod ICLA 2021 Proceedings, 34, 2021 | | 2021 |
A Note on Hybrid Modal Logic with Propositional Quantiers PR Blackburn, T Braüner, JL Kofod 9th Indian Conference on Logic and its Applications, 2021 | | 2021 |
Hybrid logic with propositional quantiers: Natural deduction style (Work in progress) T Braüner, PR Blackburn, JL Kofod Non-Classical Modal and Predicate Logic: The third international conference …, 2021 | | 2021 |
A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress) PR Blackburn, T Braüner, JL Kofod 9th Indian Conference on Logic and its Applications (Online), 34-39, 2021 | | 2021 |
Arthur Prior's Early Thoughts on Physics and Cosmology JL Kofod Three Little Essays: Arthur Prior in 1931, 73, 2020 | | 2020 |
Some remarks on Hybrid Modal Logic with Propositional Quantfiers PR Blackburn, T Braüner, JL Kofod The Metaphysics of Time, 2019 | | 2019 |
A Dialogue on Time: Two Logics of Time and Physics JL Kofod Roskilde Universitet, 2017 | | 2017 |
A dialogue on time: two logics of time and physics: master's thesis JL Kofod Roskilde University, Department of Science, Systems and Models, 2017 | | 2017 |
A Dialogue on Time JL Kofod | | |