Buchumschlag

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Brogni, Anthony, Joosten, Sebastiaan J. C.
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science I.2.2; F.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verification of Unbounded Client-Server Systems with Distinguishable Clients
von: Phawade, Ramchandra, et al.
Veröffentlicht: (2026)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
von: Lotan, Raz, et al.
Veröffentlicht: (2024)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
von: Lotan, Raz, et al.
Veröffentlicht: (2024)

Extremal Separation Problems for Temporal Instance Queries
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2024)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
von: Echenim, Mnacho, et al.
Veröffentlicht: (2023)

When do homomorphism counts help in query algorithms?
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
von: Yang, Ziyi, et al.
Veröffentlicht: (2026)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
von: Lotan, Raz, et al.
Veröffentlicht: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Implementing the First-Order Logic of Here and There
von: Otten, Jens, et al.
Veröffentlicht: (2026)

Constant time testability of first-order logic with modulo counting on finitary graphs
von: Adler, Isolde, et al.
Veröffentlicht: (2026)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2022)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Executable First-Order Queries in the Logic of Information Flows
von: Aamer, Heba, et al.
Veröffentlicht: (2022)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Hybrid Game Control Envelope Synthesis
von: Kabra, Aditi, et al.
Veröffentlicht: (2025)

Experiments with Choice in Dependently-Typed Higher-Order Logic
von: Ranalter, Daniel, et al.
Veröffentlicht: (2024)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
von: Villadsen, Jørgen
Veröffentlicht: (2025)

Bounded Model Checking for Unbounded Client Server Systems
von: Phawade, Ramchandra, et al.
Veröffentlicht: (2022)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

Definite Descriptions and Hybrid Tense Logic
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Locality in Residuated-Lattice Structures
von: Carr, James
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Implementing Dependent Type Theory Inhabitation and Unification
von: Norman, Chase, et al.
Veröffentlicht: (2026)

Term Orders for Optimistic Lambda-Superposition
von: Bentkamp, Alexander, et al.
Veröffentlicht: (2025)

The Fluted Fragment with Transitive Relations
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2020)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
von: Grabmayer, Clemens
Veröffentlicht: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
von: Tsamoura, Efthymia, et al.
Veröffentlicht: (2024)

Topological Logics with Connectedness over Euclidean Spaces
von: Kontchakov, Roman, et al.
Veröffentlicht: (2011)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

TPTP World Infrastructure for Non-classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2025)

Logics for the Relational Syllogistic
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2008)