2023-05-05: Johannes Marti (Oxford)

Sat, 21 Oct 2023 21:24:08 +0100

Johannes Marti (Oxford)

Modal unification and graph homomorphisms

Abstract

The problem of unifiability in a modal logic L asks, whether for a given formula phi there exists a substitution such that applying the substitution to phi turns it into a theorem of L. For the many non-transitive modal logics, most notably the modal logic K, it is not known whether this problem is decidable. I present joint work with Sam van Gool, where we reformulate unifiability relative to some modal logics L as a problem about the existence of a graph homomorphism for some generalised notion of graph that depends on a coalgebra functor T.

2023-05-05 15:00:00 UTC
LT711 and Online