Undecidability of a Very Simple Modal Logic with Binding

Guillaume Hoffmann

We show undecidability of the satisfiability problem of what is arguably the simplest non-sub-Boolean modal logic with an implicit notion of binding. This work enriches the series…