Research output per year
Research output per year
- 37 results
Search results
-
2024
Exploring Learning in Basic Logic Using Stored Log Data and Exam Data
Jakobsen, D., Thorvaldsen, S. & Øhrstrøm, P., 2024, Innovative Technologies and Learning - 7th International Conference, ICITL 2024, Proceedings. Cheng, Y-P., Pedaste, M., Bardone, E. & Huang, Y-M. (eds.). Springer Science+Business Media, p. 109-119 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14785 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
2023
A. N. Prior’s journey to ‘real’ freedom
Jakobsen, D., 23 Oct 2023, In: Logic and Philosophy of Time. 5, 1, 35 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile13 Downloads (Pure) -
Formal, Measurable Ontologies for Worldviews
Jakobsen, D. & Graf, S. J., 1 Jan 2023, Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation - 1st International Workshop, MOVE 2020, Revised Selected Papers. Polovina, R., Polovina, S. & Kemp, N. (eds.). 1 ed. Springer, Vol. 1. p. 86-97 12 p. (Communications in Computer and Information Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Fulfilling Russell’s Wish: A.N. Prior and the Resurgence of Philosophical Theology
Jakobsen, D., 28 Feb 2023, Organon F. 1 ed. Slovakia: Filozofický ústav SAV, Vol. 30. p. 32-52 21 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile25 Downloads (Pure) -
History and Philosophy of Tense-Logic
Jakobsen, D. (ed.), Øhrstrøm, P. (ed.) & Hasle, P. (ed.), 23 Oct 2023, Aalborg Universitetsforlag. 377 p. (Logic and Philosophy of Time, Vol. 5).Research output: Book/Report › Anthology › Research › peer-review
-
Learning Analytics Based on Streamed Log Data from a Course in Logic
Øhrstrøm, P., Thorvaldsen, S. & Jakobsen, D., 1 Aug 2023, Innovative Technologies and Learning - 6th International Conference, ICITL 2023, Proceedings: ICITL 2023. Huang, Y-M. & Rocha, T. (eds.). Springer, p. 430-440 11 p. (Lecture Notes in Computer Science, Vol. 14099).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus) -
Prior’s early reflections on sense and sentences
Grimshaw, M. & Jakobsen, D., 23 Oct 2023, In: Logic and Philosophy of Time. 5, 1, 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile13 Downloads (Pure) -
Prior’s turn from determinism to indeterminism
Hasle, P. & Jakobsen, D., 23 Oct 2023, The History and Philosophy of Tense-Logic. Jakobsen, D., Hasle, P. & Øhrstrøm, P. (eds.). Aalborg University Press, Vol. 5. 21 p. (Logic and Philosophy of Time).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open Access -
2022
Ockhamistic Inspiration in Modern Tense-Logic
Øhrstrøm, P. & Jakobsen, D., 2022, Ockhamism and Philosophy of Time: Semantic and Metaphysical Issues Concerning Future Contingents. Santelli, A. (ed.). Springer, p. 33-54 22 p. (Synthese Library, Vol. 452).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
Prior’s Turn to Medieval Logic
Jakobsen, D., 5 Jan 2022, In: KronoScope. Journal for the Study of Time. 21, 2, p. 157-171 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile77 Downloads (Pure) -
2021
In What Sense is J.N. Findlay the Founding Father of Tense-logic?
Jakobsen, D., 2021, In: History and Philosophy of Logic. 42, 2, p. 180-188 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
1 Citation (Scopus) -
The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown
Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. & Jakobsen, D., 2021, Innovative Technologies and Learning - 4th International Conference, ICITL 2021, Proceedings: 4th International Conference, ICITL 2021 Virtual Event, November 29 – December 1, 2021 Proceedings. Huang, Y-M., Lai, C-F. & Rocha, T. (eds.). Springer, Vol. LNCS 13117. p. 121-130 10 p. (Lecture Notes in Computer Science (LNCS)).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile104 Downloads (Pure) -
2020
A.N. Prior and ‘The Nature of Logic’
Jakobsen, D., 2020, In: History and Philosophy of Logic. 41, 1, p. 71-81 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile3 Citations (Scopus)55 Downloads (Pure) -
Arthur Prior's Early Thoughts on Predestination
Jakobsen, D. & Øhrstrøm, P., 2020, Three Little Essays: Arthur Prior in 1931. Jakobsen, D., Øhrstrøm, P., Prior, M. & Rini, A. (eds.). 1 ed. Aalborg: Aalborg Universitetsforlag, p. 55-71 16 p. (Logic and Philosophy of Time, Vol. 3).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open Access -
Dispelling the Freudian Specter: A.N. Prior's Discussion of Religion in 1943
Jakobsen, D., 2020, The Metaphysics of Time: Themes from Prior. Hasle, P., Jakobsen, D. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, p. 63-85 22 p. (Logic and Philosophy of Time, Vol. 4).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open Access -
Letters between Mary and Arthur Prior in 1954: Topics on Metaphysics and Time
Jakobsen, D., Øhrstrøm, P. & Prior, M., 2020, The Metaphysics of Time: Themes from Prior. Hasle, P., Jakobsen, D. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, p. 179-226 47 p. (Logic and Philosophy of Time, Vol. 4).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open Access -
Prior and the “Logic of the Word of God”
Jakobsen, D. & Götzsche, H., 2020, The Metaphysics of Time: Themes from Prior. Hasle, P., Jakobsen, D. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, p. 87-98 12 p. (Logic and Philosophy of Time, Vol. 4).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open Access -
The Metaphysics of Time: Themes from Prior
Hasle, P. (ed.), Jakobsen, D. (ed.) & Øhrstrøm, P. (ed.), 2020, Aalborg Universitetsforlag. 462 p. (Logic and Philosophy of Time).Research output: Book/Report › Anthology › Research › peer-review
Open AccessFile1415 Downloads (Pure) -
The Use of E-learning Tools and Log Data in a Course on Basic Logic
Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. & Jakobsen, D., 2020, Innovative Technologies and Learning - Third International Conference, ICITL 2020, Proceedings. Huang, T-C., Wu, T-T., Barroso, J., Sandnes, F. E., Martins, P. & Huang, Y-M. (eds.). Springer, p. 610-620 11 p. (Lecture Notes in Computer Science, Vol. 12555).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile57 Downloads (Pure) -
Three Little Essays: Arthur Prior in 1931
Jakobsen, D. (ed.), Øhrstrøm, P. (ed.), Prior, M. (ed.) & Rini, A. (ed.), 2020, 1 ed. Aalborg: Aalborg Universitetsforlag. 292 p. (Logic and Philosophy of Time, Vol. 3).Research output: Book/Report › Anthology › Research › peer-review
Open AccessFile816 Downloads (Pure) -
2019
The Return of Medieval Logic in the Philosophy of Time
Jakobsen, D., 2019, Logic and Philosophy of Time: Further Themes from Prior, Volume 2. Blackburn, P., Hasle, P. & Øhrstrøm, P. (eds.). 1 ed. Aalborg Universitetsforlag, (Logic and Philosophy of Time, Vol. 2).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open AccessFile137 Downloads (Pure) -
Tro og tidslogik
Jakobsen, D. & Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, 18 p.Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Communication
-
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 proceeding › Encyclopedia chapter › Research › peer-review
Open Access -
William of Ockham on Future Contingency
Øhrstrøm, P. & Jakobsen, D., 2018, In: KronoScope.Research output: Contribution to journal › Journal article › Research › peer-review
1 Citation (Scopus) -
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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-review
Open Access -
2016
An illusion close to life
Jakobsen, D., Nov 2016, In: Synthese. 193, 11, p. 3429 - 3439 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
2 Citations (Scopus) -
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 proceeding › Article in proceeding › Research › peer-review
-
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 journal › Conference article in Journal › Research › peer-review
Open AccessFile161 Downloads (Pure) -
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 proceeding › Article in proceeding › Research › peer-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 proceeding › Book chapter › Research › peer-review
-
2013File1146 Downloads (Pure)
-
2012
An introduction to ‘faith, unbelief and evil’
Jakobsen, D., 2012, In: Synthese. 188, 3, p. 399-409 11 p.Research output: Contribution to journal › Journal article › Research › peer-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 journal › Journal article › Research › peer-review
3 Citations (Scopus) -
2011
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 journal › Conference article in Journal › Research › peer-review
6 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 journal › Conference article in Journal › Research › peer-review
2 Citations (Scopus)