David Jakobsen

Phd Tidslogikkens Historie

  • Rendsburggade 14, 5-265

    9000 Aalborg

    Danmark

20112019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2011 2019

Filter
Konferenceartikel i proceeding
2017

In Celebration of Past, Present and Future

Jakobsen, D., Øhrstrøm, P. & Hasle, P., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg: Aalborg Universitetsforlag, s. 9-27 19 s. (Logic and Philosophy of Time, Bind 1).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

The Prior-von Wright Debate on Anselm's Argument for the Existence of God

Jakobsen, D. & Øhrstrøm, P., 2017, On the Human Condition: Philosophical Essays in Honour of the Centennial Anniversary of Georg Henrik von Wright. Societas Philosophica Fennica, Bind 93. s. 255-267 13 s. (Acta Philosophica Fennica).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic

Jakobsen, D., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg Universitetsforlag, s. 63-82 19 s. (Logic and Philosophy of Time, Bind 1).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2016

Conceptual and Metaphysical Origins and Relevance of Temporal Logic

Jakobsen, D. & Øhrstrøm, P., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. Dyreson, C., Hansen, M. R. & Hunsberger, L. (red.). IEEE, s. 167-176 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

The Interpretation of Branching Time Diagrams

Jakobsen, D. & Øhrstrøm, P., 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Zucker, C. F. (red.). Springer, s. 31-39 9 s. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Bind 9717).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review