David Jakobsen

Phd History of Temporal Logic

  • Rendsburggade 14, 5-265

    9000 Aalborg

    Denmark

20112019
If you made any changes in Pure these will be visible here soon.

Research Output 2011 2019

2019

A.N. Prior and ‘The Nature of Logic’

Jakobsen, D., 15 May 2019, In : History and Philosophy of Logic.

Research output: Contribution to journalJournal articleResearchpeer-review

Logic
Arthur Prior
Realism
Karl Barth
Letters
2018

A.N. Prior's Logic

Øhrstrøm, P., Hasle, P. F. V. & Jakobsen, D., 2018, Internet Encyclopedia of Philosophy. (Internet Encyclopedia of Philosophy).

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterResearchpeer-review

Open Access

William of Ockham on Future Contingency

Øhrstrøm, P. & Jakobsen, D., 2018, In : KronoScope.

Research output: Contribution to journalJournal articleResearchpeer-review

contingency
formalization
suggestion
logic
Formalization
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, p. 9-27 19 p. (Logic and Philosophy of Time, Vol. 1).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

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, Vol. 93. p. 255-267 13 p. (Acta Philosophica Fennica).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 63-82 19 p. (Logic and Philosophy of Time, Vol. 1).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
2016
2 Citations (Scopus)

An illusion close to life

Jakobsen, D., Nov 2016, In : Synthese. 193, 11, p. 3429 - 3439 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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. (eds.). IEEE, p. 167-176 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

45 Downloads (Pure)

Investigating Worldviews with Protégé

Bro Wormslev Jakobsen, T., Jakobsen, D. & Øhrstrøm, P., 2016, In : CEUR Workshop Proceedings. p. 28-36 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Ontology

The Interpretation of Branching Time Diagrams

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2015

A.N. Prior og etikkens ophav

Jakobsen, D., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg: Aalborg Universitetsforlag, p. 103-131 28 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2013
881 Downloads (Pure)

Arthur Norman Priors bidrag til metafysikken

Jakobsen, D., 2013, 167 p.

Research output: Book/ReportPh.D. thesisResearch

File
2012
1 Citation (Scopus)

An introduction to ‘faith, unbelief and evil’

Jakobsen, D., 2012, In : Synthese. 188, 3, p. 399-409 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Faith, unbelief and evil: A fragment of a dialogue

Prior, A. N. & Jakobsen, D., 2012, In : Synthese. 188, 3, p. 381-397 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2011
3 Citations (Scopus)

A.N. Prior's Notion of the Present

Jakobsen, D., 2011, In : Lecture Notes in Computer Science. 6789 LNAI, p. 36-45 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Evaluate
Libraries
2 Citations (Scopus)

A.N. Prior’s Ideas on Tensed Ontology

Jakobsen, D., Schärfe, H. & Øhrstrøm, P., 2011, In : Lecture Notes in Computer Science. 6828, p. 118-130 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review