Bisimulation Quantified Modal Logics: Decidability

  • Tim French
  • Published 2006 in Advances in Modal Logic

Abstract

Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfortunately, it is not the case that extension by bisimulation quantifiers always preserves the decidability of a modal logic. Here we examine a general class of modal logics for… (More)

Topics

5 Figures and Tables

Cite this paper

@inproceedings{French2006BisimulationQM, title={Bisimulation Quantified Modal Logics: Decidability}, author={Tim French}, booktitle={Advances in Modal Logic}, year={2006} }