Bisimulations and bisimulation games between Verbrugge models
From MaRDI portal
Publication:6096733
Cites work
- scientific article; zbMATH DE number 3765778 (Why is no real title available?)
- scientific article; zbMATH DE number 1215477 (Why is no real title available?)
- scientific article; zbMATH DE number 218496 (Why is no real title available?)
- scientific article; zbMATH DE number 218514 (Why is no real title available?)
- A bisimulation characterization for interpretability logic
- A new principle in the interpretability logic of all reasonable arithmetical theories
- A note on bisimulation and modal equivalence in provability logic and interpretability logic
- Bisimulations and bisimulation quotients of generalized Veltman models
- Characteristic classes and bisimulations of generalized Veltman models
- Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
- Filtrations of generalized Veltman models
- Hennessy-Milner theorem for interpretability logic
- Interpretability logics and generalised Veltman semantics
- Modal analysis of generalized rosser sentences
- Modal completeness of sublogics of the interpretability logic IL
- Modal logic
- Some independence results in interpretability logic
- The interpretability logic of Peano arithmetic
- The interpretability logic of all reasonable arithmetical theories. The new conjecture
Cited in
(5)- Bisimulations and bisimulation quotients of generalized Veltman models
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Bisimulations between generalized Veltman models and Veltman models
- Games and bisimulations for intuitionistic first-order Kripke models
- Game equivalence and expressive power of game description languages: a bisimulation approach
This page was built for publication: Bisimulations and bisimulation games between Verbrugge models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6096733)
