scientific article
From MaRDI portal
zbMath0751.03009MaRDI QIDQ4011727
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relation algebraspropositional modal logicssemanticsrelational logicmultimodal languagerelational proof system
Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Peirce algebras, Relational dual tableau decision procedures and their applications to modal and intuitionistic logics, Relation algebras can tile, Logical analysis of demonic nondeterministic programs, A proof system for contact relation algebras, Deciding regular grammar logics with converse through first-order logic
