Bisimulation quotients of Veltman models
From MaRDI portal
Publication:2888153
zbMATH Open1253.03045MaRDI QIDQ2888153
Publication date: 30 May 2012
Published in: Reports on Mathematical Logic (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (4)
Bisimulations between generalized Veltman models and Veltman models ⋮ Modal Matters for Interpretability Logics ⋮ Characteristic classes and bisimulations of generalized Veltman models ⋮ Bisimulations and bisimulation quotients of generalized Veltman models
This page was built for publication: Bisimulation quotients of Veltman models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2888153)
