Jakub Michaliszyn

Elementary Multimodal Logics

2018 · arXiv (Cornell University)

We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, …