A bisimulation characterization for interpretability logic

DOI10.1093/JIGPAL/JZU015zbMath1405.03097OpenAlexW2091952361MaRDI QIDQ4644496

Tin Perkov, Mladen Vuković

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzu015

zbMATH Keywords

interpretability logicVeltman modelsbisimulation gamesbisimulation invariance

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Bisimulations and bisimulation games between Verbrugge models

This page was built for publication: A bisimulation characterization for interpretability logic