scientific article; zbMATH DE number 1047502

zbMath0878.03012MaRDI QIDQ4349279

Yde Venema

Publication date: 7 December 1997

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

zbMATH Keywords

arrow logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80) Other classical first-order model theory (03C68)

Related Items

The Range of Modal Logic ⋮ Dynamic extensions of arrow logic ⋮ Logic for physical space. From antiquity to present day ⋮ Squares in fork arrow logic ⋮ On fork arrow logic and its expressive power ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Complete axiomatizations for XPath fragments ⋮ A ModalWalk Through Space ⋮ Modal Predicates and Coequations