scientific article
From MaRDI portal
Publication:4011718
zbMath0749.03043MaRDI QIDQ4011718
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke modelstopological interpretationmodal logicsantisymmetrymodal algebrascanonical modelmodal-axiomatic classesStone-Čech type compactification
Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
This page was built for publication: