Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Brogni, Anthony, Joosten, Sebastiaan J. C.
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science I.2.2; F.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verification of Unbounded Client-Server Systems with Distinguishable Clients
por: Phawade, Ramchandra, et al.
Publicado: (2026)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
por: Lotan, Raz, et al.
Publicado: (2024)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
por: Lotan, Raz, et al.
Publicado: (2024)

Extremal Separation Problems for Temporal Instance Queries
por: Jung, Jean Christoph, et al.
Publicado: (2024)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
por: Echenim, Mnacho, et al.
Publicado: (2023)

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

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

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

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

Implementing the First-Order Logic of Here and There
por: Otten, Jens, et al.
Publicado: (2026)

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

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

Robust Computation Tree Logic
por: Nayak, Satya Prakash, et al.
Publicado: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

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

Solving Quantified Modal Logic Problems by Translation to Classical Logics
por: Steen, Alexander, et al.
Publicado: (2022)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
por: Zhang, Xindi, et al.
Publicado: (2025)

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

Logic interpretations of ANN partition cells
por: Schmitt, Ingo
Publicado: (2024)

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

Hybrid Game Control Envelope Synthesis
por: Kabra, Aditi, et al.
Publicado: (2025)

Experiments with Choice in Dependently-Typed Higher-Order Logic
por: Ranalter, Daniel, et al.
Publicado: (2024)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
por: Villadsen, Jørgen
Publicado: (2025)

Bounded Model Checking for Unbounded Client Server Systems
por: Phawade, Ramchandra, et al.
Publicado: (2022)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
por: Ceragioli, Leonardo, et al.
Publicado: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
por: Ceragioli, Leonardo, et al.
Publicado: (2025)

Definite Descriptions and Hybrid Tense Logic
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Locality in Residuated-Lattice Structures
por: Carr, James
Publicado: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
por: Coniglio, M. E., et al.
Publicado: (2026)

Implementing Dependent Type Theory Inhabitation and Unification
por: Norman, Chase, et al.
Publicado: (2026)

Term Orders for Optimistic Lambda-Superposition
por: Bentkamp, Alexander, et al.
Publicado: (2025)

The Fluted Fragment with Transitive Relations
por: Pratt-Hartmann, Ian, et al.
Publicado: (2020)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
por: Grabmayer, Clemens
Publicado: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
por: Tsamoura, Efthymia, et al.
Publicado: (2024)

Topological Logics with Connectedness over Euclidean Spaces
por: Kontchakov, Roman, et al.
Publicado: (2011)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
por: Kazakov, Yevgeny, et al.
Publicado: (2009)

A Sequent Calculus for General Inductive Definitions
por: Eede, Robbe Van den, et al.
Publicado: (2026)

TPTP World Infrastructure for Non-classical Logics
por: Steen, Alexander, et al.
Publicado: (2025)

Logics for the Relational Syllogistic
por: Pratt-Hartmann, Ian, et al.
Publicado: (2008)