Publication:4275688
From MaRDI portal
zbMath0797.03013MaRDI QIDQ4275688
Publication date: 20 October 1994
propositional modal logics; Kripke models; definability; finite model property; expressive power; graded modalities
03B45: Modal logic (including the logic of norms)
Related Items
Some considerations on the logics PFD A logic combining modality and probability, Levels of modality for BDI logic, Graded hypothesis theories, Dynamic update with probabilities, Generalized quantifiers and modal logic, Decidability by filtrations for graded normal logics. (Graded modalities. V), A deontic approach to database integrity, Taming logic, A propositional dynamic logic with qualitative probabilities, Complexity of modal logics with Presburger constraints