Undecidability of a Very Simple Modal Logic with Binding
Logic in Computer Science
2015-08-18 v1
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.
Cite
@article{arxiv.1508.03630,
title = {Undecidability of a Very Simple Modal Logic with Binding},
author = {Guillaume Hoffmann},
journal= {arXiv preprint arXiv:1508.03630},
year = {2015}
}