scientific article

zbMath0760.03018MaRDI QIDQ4011720

Bjarni Jónsson

Publication date: 27 September 1992

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

zbMATH Keywords

surveyrelation algebrasdynamic logicmodal logicsdynamic algebrasBoolean algebras with operatorsbinary relationsmodal algebrasKleene algebraclones of operationsnon-deterministic computer programs

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 in computer science (03B70) Logical aspects of lattices and related structures (03G10) Semantics in the theory of computing (68Q55) Other algebras related to logic (03G25) Operations and polynomials in algebraic structures, primal algebras (08A40) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02) Varieties of lattices (06B20) Other classical set theory (including functions, relations, and set algebra) (03E20) Algebraic logic (03Gxx)

Related Items (32)

A perspective on the theory of relation algebras ⋮ On dynamic algebras ⋮ Relation-algebraic semantics ⋮ Submonoids of groups, and group-representability of restricted relation algebras ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Relation algebras of intervals ⋮ Binary Relations and Permutation Groups ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Seurat games on Stockmeyer graphs ⋮ On the equational complexity of RRA ⋮ The multiplicative fragment of the Yanov equational theory ⋮ Automorphisms and strongly invariant relations ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ Equational properties of Kleene algebras of relations with conversion ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Representability of Lyndon-Maddux relation algebras ⋮ Tribute to Bjarni Jónsson ⋮ Cylindric algebras and finite polyadic algebras ⋮ A relation-algebraic approach to the region connection calculus ⋮ Strongly representable atom structures of relation algebras ⋮ Relation algebras from cylindric algebras. II ⋮ On algebras of binary relations with conjunctive operations ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Canonical varieties with no canonical axiomatisation ⋮ A remark on nonfinitely based semirings. ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Relational demonic fuzzy refinement ⋮ On axioms for commutative regular equations without addition. ⋮ On equations for union-free regular languages

This page was built for publication: