Buchumschlag

Interpolation with Automated First-Order Reasoning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wernhard, Christoph
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
von: Heuer, Jan, et al.
Veröffentlicht: (2024)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
von: Wernhard, Christoph
Veröffentlicht: (2026)

Generating Theorems by Generating Proof Structures
von: Wernhard, Christoph
Veröffentlicht: (2026)

Interpolation in Classical Propositional Logic
von: Koopmann, Patrick, et al.
Veröffentlicht: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2025)

Investigations into Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2023)

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
von: Benedikt, Michael, et al.
Veröffentlicht: (2022)

Craig Interpolation for Decidable First-Order Fragments
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Lemmas: Generation, Selection, Application
von: Rawson, Michael, et al.
Veröffentlicht: (2023)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

On the Completeness of Interpolation Algorithms
von: Hetzl, Stefan, et al.
Veröffentlicht: (2024)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2024)

A Two-Watched Literal Scheme for First-Order Logic
von: Briefs, Yasmine, et al.
Veröffentlicht: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
von: Wolter, Frank, et al.
Veröffentlicht: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
von: Férée, Hugo, et al.
Veröffentlicht: (2026)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Synthesis Benchmarks for Automated Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

SAT Solving for Variants of First-Order Subsumption
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

On the Satisfiability of Local First-Order Logics with Data
von: Bollig, Benedikt, et al.
Veröffentlicht: (2023)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Interpolation and Quantifiers in Ortholattices
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Interpolation for Converse PDL
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

Interpolation in Proof Theory
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Definability and Interpolation in Philosophy
von: van Benthem, Johan
Veröffentlicht: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
von: Winkler, Sarah
Veröffentlicht: (2025)

Fusions of One-Variable First-Order Modal Logics
von: Kontchakov, Roman, et al.
Veröffentlicht: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
von: Meng, Qiaolan, et al.
Veröffentlicht: (2026)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
von: Vehlken, Fabian, et al.
Veröffentlicht: (2026)