Publication:4694251
From MaRDI portal
zbMath0788.03018MaRDI QIDQ4694251
Publication date: 29 June 1993
completeness; Kripke semantics; propositional modal logic; canonical frame; descriptive frame; canonical logic; standard frame; standard extension; symmetric frame; polymodal base; reflexive frame
03B45: Modal logic (including the logic of norms)
Related Items
MEREOLOGICAL BIMODAL LOGICS, On the modal logic of subset and superset: tense logic over Medvedev frames, Normal bimodal logics of ability and action, ``That will do: logics of deontic necessity and sufficiency, The dynamics of epistemic attitudes in resource-bounded agents, A system of relational syllogistic incorporating full Boolean reasoning, Modal logics of reactive frames