A meta-modal logic for bisimulations
By: Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
Potential Business Impact:
Makes computers understand when things are the same.
We propose a modal study of the notion of bisimulation. Our contribution is twofold. First, we extend the basic modal language with a new modality [b], whose intended meaning is universal quantification over all states that are bisimilar to the current one. We show that bisimulations are definable in this object language. Second, we provide a sound and complete axiomatisation of the class of all pairs of Kripke models linked by bisimulations.
Similar Papers
Modal Logic for Simulation, Refinement, and Mutual Ignorance
Logic in Computer Science
Helps computers understand how much agents know.
Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
Logic in Computer Science
Lets computers understand what people know, even if they die.
Relators and Notions of Simulation Revisited
Logic in Computer Science
Makes computer systems more reliable and predictable.