Modal Logic Reasoning: The Long View

6^th November 2025, 11:00 Ashton 208
Ullrich Hustadt

Abstract

Modal logics provide a formal framework for describing and reasoning
about relational structures. The most intensively studied modal logics
are the basic modal logic K and its extensions with one or more of the
axioms B, D, T, 4 and 5, originally motivated by idealised notions of
belief and knowledge. The problem of reasoning in these logics has also
been studied for many decades. In this talk we take the long view on
what progress, if any, has been made in providing effective reasoning
methods for these logics, in particular, via reductions and resolution
calculi.