Undecidability of a Very Simple Modal Logic with Binding
classification
💻 cs.LO
keywords
logicsmodalundecidabilitybindinglogicarguablybinderscontinued
read the original abstract
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 of existing results of undecidability of modal logics with binders, which started with Hybrid Logics and continued with Memory Logics.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.