scientific article
From MaRDI portal
Publication:3435248
zbMath1117.03067MaRDI QIDQ3435248
Publication date: 25 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (2)
Hennessy-Milner properties via topological compactness ⋮ Bisimulations and bisimulation games between Verbrugge models
This page was built for publication: