Cover Image

Preservation theorems for Tarski's relation algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bogaerts, Bart, Cate, Balder ten, McLean, Brett, Bussche, Jan Van den
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
by: Bogaerts, Bart, et al.
Published: (2022)

Craig Interpolation for Decidable First-Order Fragments
by: Cate, Balder ten, et al.
Published: (2023)

Characterising Modal Formulas with Examples
by: Cate, Balder ten, et al.
Published: (2023)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

When do modal definability and preservation theorems transfer to the finite?
by: van Benthem, Johan, et al.
Published: (2026)

Complete representation by partial functions for signatures containing antidomain restriction
by: McLean, Brett
Published: (2023)

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Characterizing LTL Formulas by Examples
by: Cate, Balder ten, et al.
Published: (2026)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
by: Cate, Balder ten, et al.
Published: (2025)

The Size of Interpolants in Modal Logics
by: Cate, Balder ten, et al.
Published: (2025)

Executable First-Order Queries in the Logic of Information Flows
by: Aamer, Heba, et al.
Published: (2022)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
by: Soeteman, Arie, et al.
Published: (2025)

On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)

Constructive S4 modal logics with the finite birelational frame property
by: Balbiani, Philippe, et al.
Published: (2024)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
by: Soeteman, Arie, et al.
Published: (2026)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
by: Van Caudenberg, Daimy, et al.
Published: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

Expressive Power of Deep Homomorphism Networks over Relational Databases
by: Schönherr, Moritz, et al.
Published: (2026)

Recursive querying of neural networks via weighted structures
by: Grohe, Martin, et al.
Published: (2026)

When do homomorphism counts help in query algorithms?
by: Cate, Balder ten, et al.
Published: (2023)

A Logical View of GNN-Style Computation and the Role of Activation Functions
by: Barceló, Pablo, et al.
Published: (2025)

Halting Recurrent GNNs and the Graded $μ$-Calculus
by: Bollen, Jeroen, et al.
Published: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
by: Pollaci, Samuele, et al.
Published: (2024)

Approximation Fixpoint Theory with Refined Approximation Spaces
by: Vanbesien, Linde, et al.
Published: (2025)

A Topological Rewriting of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
by: de Groot, Jim, et al.
Published: (2021)

Query languages for neural networks
by: Grohe, Martin, et al.
Published: (2024)

Simulating dynamic systems using Linear Time Calculus theories
by: Bogaerts, Bart, et al.
Published: (2014)

Towards an Independent Version of Tarski's System of Geometry
by: Boutry, Pierre, et al.
Published: (2024)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
by: Naderian, Farhad
Published: (2022)

Diminishing Returns in Expanding Generative Models and Godel-Tarski-Lob Limits
by: Majumdar, Angshul
Published: (2026)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
by: Craig, Andrew, et al.
Published: (2025)

Contractions of quasi relation algebras and applications to representability
by: Craig, Andrew, et al.
Published: (2026)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)