Sciweavers

Share
AIML
2006

Bisimulation Quantified Modal Logics: Decidability

8 years 5 months ago
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.
Tim French
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where AIML
Authors Tim French
Comments (0)
books