Preservation theorems for Tarski's relation algebra
From MaRDI portal
Publication:6635502
DOI10.46298/LMCS-20(3:20)2024MaRDI QIDQ6635502
Balder ten Cate, Jan Van den Bussche, Bart Bogaerts, Brett McLean
Publication date: 12 November 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algorithmic uses of the Feferman-Vaught theorem
- Elements of finite model theory.
- A new modal Lindström theorem
- The algebra of functions with antidomain and range
- One-generated clones of operations on binary relations
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Über Möglichkeiten im Relativkalkül.
- Program constructions that are safe for bisimulation
- An algebra of modular systems: static and dynamic perspectives
- How many variables are needed to express an existential positive query?
- On the calculus of relations.
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
- Homomorphism preservation theorems
- A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
- Dynamic predicate logic
- Back and forth between guarded and modal logics
- Comonadic semantics for hybrid logic
This page was built for publication: Preservation theorems for Tarski's relation algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6635502)
