scientific article; zbMATH DE number 487145

zbMath0797.03013MaRDI QIDQ4275688

Wiebe van der Hoek

Publication date: 20 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional modal logicsKripke modelsdefinabilityfinite model propertyexpressive powergraded modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (14)

A deontic approach to database integrity ⋮ Complexity of modal logics with Presburger constraints ⋮ Taming logic ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ An elementary belief function logic ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Levels of modality for BDI logic ⋮ A propositional dynamic logic with qualitative probabilities ⋮ Some considerations on the logics P_FD A logic combining modality and probability ⋮ Graded hypothesis theories ⋮ On the verification of architectural reconfigurations ⋮ Dynamic update with probabilities ⋮ Generalized quantifiers and modal logic ⋮ Decidability by filtrations for graded normal logics. (Graded modalities. V)

This page was built for publication: