Bisimulations and bisimulation quotients of generalized Veltman models

DOI10.1093/JIGPAL/JZP067zbMath1213.03072OpenAlexW1998776154MaRDI QIDQ3061279

Mladen Vuković, Domagoj Vrgoč

Publication date: 14 December 2010

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

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

zbMATH Keywords

bisimulationinterpretability logicHennessy-Milner propertybisimulation quotientsgeneralized Veltman models

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Bisimulations and bisimulation games between Verbrugge models ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS ⋮ Filtrations of generalized Veltman models

This page was built for publication: Bisimulations and bisimulation quotients of generalized Veltman models