scientific article; zbMATH DE number 732978
From MaRDI portal
Publication:4325547
zbMath0921.03019MaRDI QIDQ4325547
Publication date: 12 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (26)
The Došen square under construction: a tale of four modalities ⋮ Normal design algebra ⋮ Deriving Inverse Operators for Modal Logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Propositional lax logic ⋮ Unnamed Item ⋮ The geometry of standard deontic logic ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Geographic wayfinders and space-time algebra ⋮ Constrained consequence ⋮ SLAP: specification logic of actions with probability ⋮ Coalgebra and abstraction ⋮ One-step modal logics, intuitionistic and classical. II ⋮ Codimension and pseudometric in co-Heyting algebras ⋮ From modal logic to terminal coalgebras ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic ⋮ Bisimulation for labelled Markov processes ⋮ Reasoning about distributed information with infinitely many agents ⋮ Diagram techniques for confluence ⋮ Metatheory of actions: beyond consistency ⋮ A categorical outlook on relational modalities and simulations ⋮ Guarded fixed point logics and the monadic theory of countable trees. ⋮ Characterizing determinacy in Kleene algebras ⋮ Expressiveness of concept expressions in first-order description logics ⋮ Proof analysis in modal logic ⋮ Kleene under a modal demonic star
This page was built for publication:
