Bisimulations between Verbrugge models and Veltman models

DOI10.1007/978-3-031-39784-4_19MaRDI QIDQ6199589

Tin Perkov

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

zbMATH Keywords

bisimulationsinterpretability logicModal logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Filtrations of generalized Veltman models
• Bisimulations between generalized Veltman models and Veltman models
• Decidability of interpretability logics ILM0 and ILW*
• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
• The principles of interpretability
• Modal completeness of sublogics of the interpretability logic IL

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