Publication:4349279
From MaRDI portal
zbMath0878.03012MaRDI QIDQ4349279
Publication date: 7 December 1997
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C80: Logic with extra quantifiers and operators
03C68: Other classical first-order model theory
Related Items
The Range of Modal Logic, A Completeness Result for Relation Algebra with Binders, Logic for physical space. From antiquity to present day, Dynamic extensions of arrow logic, Complete axiomatizations for XPath fragments, Squares in fork arrow logic, On fork arrow logic and its expressive power, Modal Predicates and Coequations, A ModalWalk Through Space