Follow
Julie Lundbak Kofod
Julie Lundbak Kofod
Ph.D. in Philosophy, Roskilde University
Verified email at ruc.dk - Homepage
Title
Cited by
Cited by
Year
Three Little Essays: Arthur Prior in 1931
D Jakobsen, P Øhrstrøm, M Prior, A Rini
Aalborg Universitetsforlag, 2020
52020
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
52020
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
22023
What on earth was Arthur Prior thinking?: About physics and hybrid logic
JL Kofod
Roskilde Universitet, 2022
22022
Arthur Prior and Special Theory of Relativity: Two Standpoints from the Nachlass
JL Kofod
The Metaphysics of Time: Themes from Prior, 227-247, 2020
12020
The Metaphysics of Time: Themes from Prior
P Hasle, D Jakobsen, P Øhrstrøm
Aalborg Universitetsforlag, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–20