Copertina

An abstract fixed-point theorem for Horn formula equations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hetzl, Stefan, Kloibhofer, Johannes
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)

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

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

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

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

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
di: Achammer, Fabian, et al.
Pubblicazione: (2025)

Computing Witnesses Using the SCAN Algorithm
di: Achammer, Fabian, et al.
Pubblicazione: (2026)

Undecidability of theories of semirings with fixed points
di: Das, Anupam, et al.
Pubblicazione: (2025)

Subsystems of Open Induction
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Universal Horn Sentences and the Joint Embedding Property
di: Bodirsky, Manuel, et al.
Pubblicazione: (2021)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

A proof-theoretic approach to abstract interpretation
di: D'Silva, Vijay, et al.
Pubblicazione: (2026)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
di: Bauer, Esaïe, et al.
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
di: Powell, Thomas
Pubblicazione: (2023)

Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)

A Cobham theorem for scalar multiplication
di: Hieronymi, Philipp, et al.
Pubblicazione: (2024)

Computational expressivity of (circular) proofs with fixed points
di: Curzi, Gianluca, et al.
Pubblicazione: (2023)

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
di: Przybocki, Benjamin, et al.
Pubblicazione: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
di: Ken, Eitetsu, et al.
Pubblicazione: (2024)

Open Horn Type Theory
di: Poernomo, Iman
Pubblicazione: (2025)

Subvarieties of pointed Abelian l-groups
di: Jankovec, Filip
Pubblicazione: (2025)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

CTL* Verification and Synthesis using Existential Horn Clauses
di: Carelli, Mishel, et al.
Pubblicazione: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
di: Roberts, David Michael
Pubblicazione: (2021)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Identifying Tractable Quantified Temporal Constraints within Ord-Horn
di: Rydval, Jakub, et al.
Pubblicazione: (2024)

Relative fixed points of functors
di: Schoen, Ezra, et al.
Pubblicazione: (2023)

Ultraproducts in abstract categorical logic
di: Aiguier, Marc, et al.
Pubblicazione: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
di: Katsura, Hiroyuki, et al.
Pubblicazione: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)

Bridging abstract dialectical argumentation and Boolean gene regulation
di: Azpeitia, Eugenio, et al.
Pubblicazione: (2024)

Theta as a Horn Solver
di: Bajczi, Levente, et al.
Pubblicazione: (2025)

Fairness and promptness in Muller formulas
di: Busatto-Gaston, Damien, et al.
Pubblicazione: (2022)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Finitely accessible arboreal adjunctions and Hintikka formulae
di: Reggio, Luca, et al.
Pubblicazione: (2023)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
di: De Angelis, Emanuele, et al.
Pubblicazione: (2024)