scientific article
From MaRDI portal
Publication:3748269
zbMath0608.03007MaRDI QIDQ3748269
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (17)
A hierarchy of modal logics with relative accessibility relations ⋮ Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Dynamic extensions of arrow logic ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Branching-time logics with path relativisation ⋮ Unnamed Item ⋮ A modal logic for cyclic repeating ⋮ Model checking propositional dynamic logic with all extras ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications ⋮ Unnamed Item ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ A system of dynamic modal logic ⋮ Reasoning about Joint Action and Coalitional Ability in K n with Intersection ⋮ Computation paths logic: An expressive, yet elementary, process logic ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection ⋮ An essay in combinatory dynamic logic
This page was built for publication:
