:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Hao, Wang, Jie, Xia, Bican, Li, Xiakun, Zhan, Naijun, Gan, Ting
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2407.00625
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
di: Li, Xiakun, et al.
Pubblicazione: (2026)

Quantifier Elimination Meets Treewidth
di: Wu, Hao, et al.
Pubblicazione: (2026)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
di: Wu, Hao, et al.
Pubblicazione: (2023)

Craig Interpolation in Program Verification
di: Rümmer, Philipp
Pubblicazione: (2026)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

OSVAuto: automatic proofs about functional specifications in OS verification
di: Wu, Yulun, et al.
Pubblicazione: (2024)

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

Quantifier Elimination and Craig Interpolation, Quantitatively
di: Batz, Kevin, et al.
Pubblicazione: (2025)

A Generalized Hybrid Hoare Logic
di: Zhan, Naijun, et al.
Pubblicazione: (2023)

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

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
di: Jin, Xiangyu, et al.
Pubblicazione: (2024)

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

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

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

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

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

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
di: Férée, Hugo, et al.
Pubblicazione: (2026)

Information Flow Guided Synthesis with Unbounded Communication
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

Uniform Interpolation in Distributed Knowledge Modal Logics
di: Wang, Kexu, et al.
Pubblicazione: (2026)

Interpolation and Quantifiers in Ortholattices
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Interpolation in Proof Theory
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

Definability and Interpolation in Philosophy
di: van Benthem, Johan
Pubblicazione: (2026)

Interpolation for Converse PDL
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

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

A non-uniform view of Craig interpolation in modal logics with linear frames
di: Kurucz, Agi, et al.
Pubblicazione: (2023)

Interpolation with Automated First-Order Reasoning
di: Wernhard, Christoph
Pubblicazione: (2025)

Modular Counting over 3-Element and Conservative Domains
di: Bulatov, Andrei A., et al.
Pubblicazione: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

Characterizing Sets of Theories That Can Be Disjointly Combined
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
di: Sofronie-Stokkermans, Viorica
Pubblicazione: (2025)

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

Continuous Craig Interpolation
di: Keisler, H. Jerome
Pubblicazione: (2024)

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

Computation of Interpolants for Description Logic Concepts in Hard Cases
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)