Publications

2020

Engerer, Volkmar (2020), “Information Professionals Going Beyond the Needful User in Digital Humanities Project Collaboration”. Journal of Information Science Theory and Practice, 8(1), 6–19.

Engerer, Volkmar (2020), “‘Attention, attention, exploring minds acknowledge digital structure!’ The shift to digital humanities has happened, so what should information scientists do in response?”, Digital Scholarship in the Humanities, 1-21.

Engerer V. P. & Sabir F. (2020). ”Information professionals meet Arthur Prior”. Journal of Librarianship and Information Science 52 (1), pp. 288-305.

Øhrstrøm, P.; Hasle, P. (2020). “Future contingents”. Stanford Encyclopedia of Philosophy. Stanford 2011. First published Thu Jun 9, 2011; substantive revision 2020. [OA]

2019

Bjerring, J.C.K., & Gundersen, L.B. (2019). ”Higher-order knowledge and sensitivity”. Canadian Journal of Philosophy.

Jakobsen, D. (2019). “A.N. Prior and ‘The Nature of Logic’ ”. History and Philosophy of Logic; https:// doi.org/10.1080/01445340.2019.1605479

Engerer, Volkmar (2019), “Information Systems in Interdisciplinary Research: Analytic and Holistic Ways to Access Information Science Knowledge”, Journal of Information Science Theory and Practice, 7/2 (2019), pp. 6-22, DOI: https://doi.org/10.1633/JISTaP.2019.7.2.1

Øhrstrøm, P. (2019). “A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom”. Synthese 196, pp. 69-85.

2018

Gundersen, L. B., & Gundersen, E. B. (2018). Conjunction Conditionalization and Irrelevant Semifactuals. Thought: A Journal of Philosophy, 7(4), 284-295.

Gundersen, L. & Olesen, M. (2018). In Defence of a probabilistic semantics for counterfactuals. Pacific Philosophical Quarterly, Volume 99, Issue 3, September 2018, Pages 538–549.

Hansen, J. U., Bolander, T., & Braüner, T. (2018). Many-valued hybrid logic. Journal of Logic and Computation, Volume 28, Issue 5, 20 July 2018, pp. 883– 908.

Øhrstrøm, P. & Jakobsen, D. (2018). “William of Ockham on Future Contingency”, KronoScope, 18 (2), 138-53.

Øhrstrøm, P. (2018). ”Prior's Grappling with Peirce's Existential Graphs”, History and Philosophy of Logic. 39, 2, pp. 158-163.

2017

Blackburn, P., Bolander, T., Braüner, T. & Jørgensen, K.F. (2017). ”Completeness and termination for a Seligman-style tableau system”. Journal of Logic and Computation, Volume 27, Issue 1, 1 February 2017, pp. 81–107.

Braüner, T. (2017). Hybrid Logic (substantive revised version). In: Edward N. Zalta (ed.): The Stanford Encyclopedia of Philosophy. Stanford University, https://plato.stanford.edu/entries/logic-hybrid/ [OA]

Jakobsen, D. & Øhrstrøm, P. (2017). ”The Prior – von Wright Debate on Anselm’s Ontological Argument”, In: On the Human Condition: Philosophical Essays in Honour of the Centennial Anniversary of Georg Henrik von Wright, Niiniluoto, I. and Wallgren T., (Eds.), Acta Philosophica Fennica, Societas Philosophica Fennica, 93, pp. 255-267.

2016

Blackburn, P. R. & Jørgensen, K. F. (2016). ”Arthur Prior and Now”. Synthese 193 (11), pp. 3665-3676.

Blackburn, P. R. & Jørgensen, K. F. (2016). ”Reichenbach, Prior and Hybrid Tense Logic”. Synthese 193 (11), pp. 3677-3689.

Hasle, P. & Øhrstrøm, P. (2016). “Prior’s paradigm for the study of time and its methodological motivation”. Synthese, Volume 193, Issue 11, November 2016, pp. 3401- 3416.

Der er oprettet en bogserie ved Aalborg Universitetsforslag. Alle bøger i serien udgives under Open Access (OA). Der er i projektets løbetid udkommet følgende fire bind i serien:

Hasle, P., Blackburn, P., & Øhrstrøm, P. (Eds.). (2017). Logic and Philosophy of Time: Themes from Prior. Aalborg University Press. - 251 sider. (OA).

Blackburn, P. R., Hasle, P., & Øhrstrøm, P. (Eds.). (2019). Logic and Philosophy of Time: Further Themes from Prior, Logic and Philosophy of Time, Vol. 2, Aalborg University Press. - 230 sider. (OA).

Jakobsen, D., Øhrstrøm, P., Prior, M., Rini, A. (Eds.). (2020). Three Little Essays: Arthur Prior in 1931. Logic and Philosophy of Time, Vol. 3. Aalborg University Press. - 289 sider. (OA).

Hasle, P., Jakobsen, D., & Øhrstrøm, P. (Eds.). (2020). The Metaphysics of Time: Themes from Prior. Logic and Philosophy of Time, Vol. 4. Aalborg University Press. - 462 sider. (OA).

NB:

I realiteten er vol. 1, vol. 2 og vol. 4 proceedings fra konferencer afholdet i projektets regi.
Vol. 1: May 30. – June 1, 2017, Klitgaarden Skagen: Time and modality in Prior’s logic and philosophy
Vol. 2: November 22 - 24, 2017: Workshop on logic and philosophy of time: Themes from Prior

Vol. 4: March 19-21, 2019, Aalborg University, Aalborg: The metaphysics of time.

Derimod er vol. 3 ikke resultat af en konference.

2020

Jakobsen, D. & Øhrstrøm, P., 2020, “Arthur Prior's Early Thoughts on Predestination”. In: Jakobsen, D., Øhrstrøm, P., Prior, M., Rini, A. (Eds.). (2020). Three Little Essays: Arthur Prior in 1931. Logic and Philosophy of Time, Vol. 3.

Aalborg University Press, pp. 55-71.

2019

Blackburn, P. R. (2019). ”Interaction and the Marcan formula”. In: Huertas, A. & Moldovan, A. (eds.). Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano. College publications, pp. 75-93.

2018

Braüner, T., Polyanskaya, I. & Blackburn, P. R. (2018). ”A logical investigation of false-belief tasks”. In: Rogers, T. T., Rau, M., Zhu, X. & Calish, C. W. (eds.). Cognitive Science Society, pp. 45-46.

Øhrstrøm, P., (2018). ”Thoughts on Time, Truth, and Transcendence”. In: God, Time, Infinity. Szatkowski, M. (Ed.). Berlin/Boston: De Gruyter, s. 131-146 16 p. (Philosophische Analyse, Bd. 75), pp. 131-146.

Øhrstrøm, P. (2018). ”Richard of Lavenham's Analysis of the Future Contingency Problem Represented in Terms of Modern Tempo-Modal Logic”, Modern Views of Medieval Logic. Kann, C., Loewe, B., Rode, C. & Uckelman, S. L. (Eds.). Leuven: Peeters, pp. 219-231.

2017

Øhrstrøm, P., (2017), ”C.S. Peirce”, The History of Philosophical and Formal Logic: From Aristotle to Tarski. Malpass, A. & Marfori, M. A. (red.). New York: Bloomsbury Academic, pp. 165-182.

2016

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T. (2016), ”Synthetic completeness proofs for Seligman- style tableau systems”, Proceedings of Advances in Modal Logic. In: Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications 11, pp. 302-32.

Øhrstrøm, P., & Ploug, T. (2016). “A. N. Prior’s Ideas on Keeping Track of Branching Time”. In: Time and Trace: Multidisciplinary Investigations of Temporality. Brill (ISBN: 978-90-0431-572-3), pp. 179–196.

2021

Blackburn, P, Braüner, T., Kofod, J.L. (2021). “A note on hybrid modal logic with propositional quantifiers”. In Proceedings of the Ninth Indian Conference on Logic and its Applications, pp. 34–39. The Association for Logic in India.

Bolander, T.; Dissing, L.; Herrmann, N. (2021). ”DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation”. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).

2020

Dissing, L.; Bolander, T.. (2020). ”Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic”. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI).

From, A., Blackburn, P. R. & Villadsen, J. (2020). ”Formalizing a Seligman-Style TableauSystem for Hybrid Logic”. In: Peltier, N. & Sofronie-Stokkermans, V. (eds.). Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I. Springer, pp. 474-481.

Blackburn, P. R., Braüner, T. & Kofod, J. L. (2020). ”Remarks on Hybrid Modal Logic with Propositional Quantifiers”. In: Hasle, P., Jakobsen, D. & Øhrstrøm, P. (Eds.). The Metaphysics of Time: Themes from Prior. Aalborg University Press, Logic and Philosophy of Time, Vol. 4, pp. 401-426.

Hasle, P. (2020). ”The Beginnings of Hybrid Logic: Meredith, Prior and the Contingent Constant n”. In: Hasle, P., Jakobsen, D., Øhrstrøm, P. (Eds.): The Metaphysics of Time, Logic and Philosophy of Time, Vol. 4, Aalborg University Press, pp. 145-64.

Jakobsen, D., 2020, “Dispelling the Freudian Specter: A.N. Prior's Discussion of Religion in 1943”. In: Hasle, P., Jakobsen, D. & Øhrstrøm, P. (Eds.). The Metaphysics of Time: Themes from Prior. Aalborg University Press, Logic and Philosophy of Time, Vol. 4, pp. 63-85.

Jakobsen, D., Øhrstrøm, P. & Prior, M., 2020, “Letters between Mary and Arthur Prior in 1954: Topics on Metaphysics and Time”. In: Hasle, P., Jakobsen, D. & Øhrstrøm, P. (Eds.). The Metaphysics of Time: Themes from Prior. Aalborg University Press, Logic and Philosophy of Time, Vol. 4, pp. 179-226

Jakobsen, D. & Götzsche, H. (2020). “Prior and the ‘Logic of the Word of God’”, In: Hasle, P., Jakobsen, D. & Øhrstrøm, P. (Eds.). The Metaphysics of Time: Themes from Prior. Aalborg University Press, Logic and Philosophy of Time, Vol. 4, pp. 87-98.

Øhrstrøm, P.,(2020). From A-time to B-time: Prior's journey there and back again, In: Hasle, P., Jakobsen, D. & Øhrstrøm, P. (Eds.). The Metaphysics of Time: Themes from Prior. Aalborg University Press, Logic and Philosophy of Time, Vol. 4, pp. 13-24

2019

Blackburn, P. R. (2019). ”Preface: Nows and Thens in the Prior Project”. In: Blackburn, P. R., Hasle, P. & Øhrstrøm, P. (eds.). Logic and Philosophy of Time: Further themes from Prior. Aalborg Universty Press, Logic and Philosophy of Time, Vol. 2, pp. 5-13.

Blackburn, P.R., Martins, M., Manzano, M. & Huertas, A. (2019). ”Rigid First-Order Hybrid Logic”. In: Lemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Logic, Language, Information and Computation: 26th International Workshop, WoLLIC 2019, Utrect, The Netherlands, July 2-5, 2019, Springer: Proceedings. Lecture Notes in Computer Science 11541, pp. 53-69.

Jakobsen, D., 2019, ‘The Return of Medieval Logic in the Philosophy of Time’. In: Blackburn, P., Hasle, P. & Øhrstrøm, P. (Eds.). (2019). Logic and Philosophy of Time: Further Themes from Prior, Logic and Philosophy of Time, Vol. 2, Aalborg University Press, pp. 15-30.

Sabir F. & Engerer V. P. (2019). “The Prior eArchive as Virtual Research Environment: towards Serendipity and Explorability”. In: Blackburn, P., Hasle, P. & Øhrstrøm, P. (Eds.). (2019). Logic and Philosophy of Time: Further Themes from Prior, Logic and Philosophy of Time, Vol. 2, Aalborg University Press, pp. 201-230. [OA, 100 %]

Øhrstrøm, P.; Hasle, P. (2019).The Significance of the Contributions of A.N.Prior and Jerzy Łoś in the Early History of Modern Temporal Logic, In: Blackburn, P., Hasle, P. & Øhrstrøm, P. (Eds.). (2019). Logic and Philosophy of Time: Further Themes from Prior, Logic and Philosophy of Time, Vol. 2, Aalborg University Press, pp. 31-40.

2017

Corpina, F. & Øhrstrøm, P. (2017). ”The Diodorean approach to time and modality from a historical and a philosophical perspective”. In: Logic and Philosophy of Time: Themes from Prior, Hasle P., Blackburn, P. & Øhrstrøm P., (Eds.), Logic and Philosophy of Time, vol. 1 (2017), Aalborg: Aalborg University Press, pp. 83-101.

Engerer, V.; Roued-Cunliffe, H.; Albretsen, J.; Hasle, P. (2017). “The Prior-project: From Archive Boxes to a Research Community”. Paper given at the 2nd Conference “Digital Humanities in the Nordic Countries”, March 14–March 16 2017, Gothenburg, Sweden. Published in: Daniel Brodén (ed.) (2017), DHN 2017 Digital humaniora i Norden/ Digital Humanities in the Nordic Countries Göteborg, March 14–16 2017 CONFERENCE ABSTRACTS, The University of Gothenburg, Department of Literature, History of Ideas and Religion, pp. 53-57

Engerer, V.; Albretsen, J. (2017). “The Prior Internet Resources 2017: Information systems and development perspectives”. In: Logic and Philosophy of Time: Themes from Prior, Hasle P., Blackburn, P. & Øhrstrøm P., (Eds.), Logic and Philosophy of Time, vol. 1 (2017), Aalborg: Aalborg University Press, pp. 225-251

Jakobsen, D. (2017). ”The Significance of the Prior–Smart Correspondence for the Rise of Tense-Logic”. In: Logic and Philosophy of Time: Themes from Prior, Hasle P., Blackburn, P. & Øhrstrøm P., (Eds.), Logic and Philosophy of Time, vol. 1, Aalborg: Aalborg University Press, pp. 63-82.

Jakobsen D., Øhrstrøm P. & Hasle, P. (2017). ”In Celebration of Past, Present and Future”. In: Logic and Philosophy of Time: Themes from Prior, Hasle P., Blackburn, P. & Øhrstrøm P., (Eds.) Logic and Philosophy of Time, Vol. 1, Aalborg: Aalborg University Press, pp. 9-27.

2016

Jakobsen, D & Øhrstrøm P. (2016). “Conceptual and Metaphysical Origins and Relevance of Temporal Logic”. In: Dyreson, C., Hansen, R, M., Hunsberger L. (Eds.): Proceedings, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016.