Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

This kind of mockery is a little unfair (although only a little). What's important to realize is that the ontological proof is perfectly logical -- that is, the conclusions follow inevitably from the ...

This course provides a thorough introduction to both classical and intuitionistic modal logic, with an emphasis on applications in computer science. This class will study the proof theory and meta ...

In this paper we present a modal extension of logic programming, which allows both multiple universal modal operators and embedded implications. We show that this extension is well suited for ...

This repository contains a recent formalization of a Henkin-style completeness proof for the strongest of the five systems of modal logic proposed by Lewis and Langford [2], namely, S5, using the Lean ...

For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, ...

Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...

The Logic Group uses formal tools to tackle questions from philosophy, mathematics, computer science and linguistics. Broad interests in the foundations of mathematics and modal logic are represented.