Bisimulation Quantified Modal Logics: Decidability
Tim French · UWA Profiles and Research Repository (UWA) · 2006
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 which decidability is preserved under extension by bisimulation quantifiers.