scientific article; zbMATH DE number 218547
From MaRDI portal
Publication:4694251
zbMath0788.03018MaRDI QIDQ4694251
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessKripke semanticspropositional modal logiccanonical framedescriptive framecanonical logicstandard framestandard extensionsymmetric framepolymodal basereflexive frame
Related Items (7)
MEREOLOGICAL BIMODAL LOGICS ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ A system of relational syllogistic incorporating full Boolean reasoning ⋮ Normal bimodal logics of ability and action ⋮ Modal logics of reactive frames
This page was built for publication: