A note on bisimulation and modal equivalence in provability logic and interpretability logic

DOI10.1007/S11225-011-9366-7zbMath1298.03113OpenAlexW1986264857MaRDI QIDQ361870

Domagoj Vrgoč, Vedran Čačić

Publication date: 19 August 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9366-7

zbMATH Keywords

bisimulationinterpretability logicprovability logicGL-modelsmodal equivalenceVeltman models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Bisimulations and bisimulation games between Verbrugge models ⋮ Filtrations of generalized Veltman models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on bisimulation and modal equivalence in provability logic and interpretability logic