scientific article; zbMATH DE number 625207
From MaRDI portal
Publication:4303543
zbMath0797.03012MaRDI QIDQ4303543
Publication date: 28 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicKripke semanticsmodal predicate logicneighbourhood semanticsmodal propositional logicquasimatrices
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (2)
Finite non-deterministic semantics for some modal systems ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
This page was built for publication: