Research profile

"My research focuses on logic, particularly tense logic, and artificial intelligence. I am especially interested in the historical and conceptual discussions that led to the formalization of the dynamic view of time, also known as tense logic. Tense logic is fascinating as a language that can provide a rigorous formalization of the meaning of time in information systems. I am interested in the research of the founder of tense logic, Arthur Norman Prior (1914-1969), who was highly influential as both a philosopher and logician. I find it important and significant to focus on the impact that the development of tense logic has had on the discussion of philosophical problems concerning time. This includes, in particular, time and existence, where questions about the ontology of the present are crucial, but also the contingency of the future and human freedom. Together with Peter Øhrstrøm and Per Hasle, I lead the Arthur Norman Prior archive at Aalborg University, which houses his correspondence and published as well as unpublished articles. It can be found at nachlass.prior.aau.dk.

My latest research has focused on the use of generative artificial intelligence as an assistant for critical thinking. I am interested in developing and researching systems where generative artificial intelligence plays a role that makes it clear that it is the user who has the opportunity, and therefore the responsibility, to be the critical thinker."