Paper Info
Title
Bisimulation Quantified Modal Logics: Decidability
Abstract
Bisimulation quantiers 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 quantiers 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 quantiers.
Year
Venue
Keywords
2006
Advances in Modal Logic 2006
decidability,bisimulation quantiers,modal logic
Field
DocType
Citations 
Discrete mathematics,Invariant (physics),Normal modal logic,Accessibility relation,Computer science,Algorithm,Decidability,Bisimulation,Modal logic,Monad (functional programming),Modal
Conference
0
PageRank 
References 
Authors
0.34
10
1
Name
Order
Citations
PageRank
Tim French1184.23