Bisimulations and bisimulation games between Verbrugge models

DOI10.1002/MALQ.202200042MaRDI QIDQ6096733FDOQ6096733

Authors: Tin Perkov, Mladen Vuković 

Publication date: 15 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Modal logic
• A new principle in the interpretability logic of all reasonable arithmetical theories
• Modal analysis of generalized rosser sentences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The interpretability logic of Peano arithmetic
• A note on bisimulation and modal equivalence in provability logic and interpretability logic
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• Some independence results in interpretability logic
• Title not available (Why is that?)
• Interpretability logics and generalised Veltman semantics
• Hennessy-Milner theorem for interpretability logic
• Characteristic classes and bisimulations of generalized Veltman models
• Bisimulations and bisimulation quotients of generalized Veltman models
• Filtrations of generalized Veltman models
• A bisimulation characterization for interpretability logic
• Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
• Modal completeness of sublogics of the interpretability logic IL

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)