Buchumschlag

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Hao, Wang, Jie, Xia, Bican, Li, Xiakun, Zhan, Naijun, Gan, Ting
Format:	Preprint
Veröffentlicht:	2024
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

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
von: Li, Xiakun, et al.
Veröffentlicht: (2026)

Quantifier Elimination Meets Treewidth
von: Wu, Hao, et al.
Veröffentlicht: (2026)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
von: Wu, Hao, et al.
Veröffentlicht: (2023)

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

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

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
von: Guelev, Dimitar P.
Veröffentlicht: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

OSVAuto: automatic proofs about functional specifications in OS verification
von: Wu, Yulun, et al.
Veröffentlicht: (2024)

A Generalized Hybrid Hoare Logic
von: Zhan, Naijun, et al.
Veröffentlicht: (2023)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
von: Jin, Xiangyu, et al.
Veröffentlicht: (2024)

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)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
von: Bertrand, Meven Lennon, et al.
Veröffentlicht: (2026)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
von: Ding, Tianyi, et al.
Veröffentlicht: (2025)

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

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

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

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

Information Flow Guided Synthesis with Unbounded Communication
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Uniform Interpolation in Distributed Knowledge Modal Logics
von: Wang, Kexu, et al.
Veröffentlicht: (2026)

Interpolation and Quantifiers in Ortholattices
von: Guilloud, Simon, 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)

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

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

Modular Counting over 3-Element and Conservative Domains
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2025)

Interpolation with Automated First-Order Reasoning
von: Wernhard, Christoph
Veröffentlicht: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
von: Sofronie-Stokkermans, Viorica
Veröffentlicht: (2025)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
von: Arratia, Argimiro, et al.
Veröffentlicht: (2015)

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

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

A Non-Binary Method for Finding Interpolants: Theory and Practice
von: Trybus, Adam, et al.
Veröffentlicht: (2026)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
von: Găină, Daniel, et al.
Veröffentlicht: (2026)