Publication:3762292
From MaRDI portal
zbMath0624.03022MaRDI QIDQ3762292
Publication date: 1986
modal logic; possible worlds semantics; derivability; partial logic; classical logic; non-monotonic logic; data semantics; situation semantics; propositional partial consequence
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68Q65: Abstract data types; algebraic specification
Related Items
CHOICE-FREE STONE DUALITY, Three-valued logics in modal logic, Predicate logical extensions of some subintuitionistic logics, Modal logic with names, Refutation systems in modal logic, Questions as information types, Notational variance and its variants, A modal reduction for partial logic, Changing a Semantics: Opportunism or Courage?