Bisimulations between generalized Veltman models and Veltman models

DOI10.1002/MALQ.200710050zbMath1145.03035OpenAlexW2107377590MaRDI QIDQ3520227

Mladen Vuković

Publication date: 15 August 2008

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710050

zbMATH Keywords

modal logicinterpretability logicVeltman semantics

Mathematics Subject Classification ID

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

Related Items (3)

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

Cites Work

• Provability interpretations of modal logic
• Unnamed Item
• Unnamed Item

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