Verification Series
2025-11-06 11:00 - 12:00 | Ashton 208
Ullrich Hustadt: Modal Logic Reasoning: The Long View

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.

https://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1300
