scientific article; zbMATH DE number 218546
From MaRDI portal
Publication:4694250
zbMath0777.03005MaRDI QIDQ4694250
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke semanticsfinite model propertywindowsufficiencystandard semanticsextended modal languagesfragment of second order logicpoly-modal logic
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (22)
Towards a First-Order Deontic Action Logic ⋮ A hierarchy of modal logics with relative accessibility relations ⋮ Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ A Note on Reliability-Based Preference Dynamics ⋮ A Tableaux System for Deontic Action Logic ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Using tableau to decide description logics with full role negation and identity ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ First-Order Resolution Methods for Modal Logics ⋮ A system of relational syllogistic incorporating full Boolean reasoning ⋮ Encapsulating deontic and branching time specifications ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ A system of dynamic modal logic ⋮ Reasoning about Joint Action and Coalitional Ability in K n with Intersection ⋮ Quantified coalition logic ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence ⋮ Modal logic with names ⋮ An essay in combinatory dynamic logic
This page was built for publication:
