Bisimulation Quantified Modal Logics: Decidability

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.

• Type: Conference
• Year: 2006
• Where: AIML
• Authors: Tim French
• Keywords: AIML 2006, AIML 2008, Bisimulation Quantifiers, Modal Logics, Monadic Second-order Expressivity