Bisimulations and bisimulation games between Verbrugge models

DOI10.1002/MALQ.202200042MaRDI QIDQ6096733

Tin Perkov, Mladen Vuković, Unnamed Author

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on bisimulation and modal equivalence in provability logic and interpretability logic
• Some independence results in interpretability logic
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• Filtrations of generalized Veltman models
• Bisimulations and bisimulation quotients of generalized Veltman models
• A new principle in the interpretability logic of all reasonable arithmetical theories
• Modal analysis of generalized rosser sentences
• A bisimulation characterization for interpretability logic
• Decidability of interpretability logics ILM0 and ILW*
• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
• The interpretability logic of Peano arithmetic
• Modal completeness of sublogics of the interpretability logic IL

This page was built for publication: Bisimulations and bisimulation games between Verbrugge models