Copertina

Hypersequent Calculi Have Ackermannian Complexity

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Balasubramanian, A. R., Greati, Vitor, Ramanayake, Revantha
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Computational Complexity Logic 03B47 F.4.1; F.2.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Deducibility in the full Lambek calculus with weakening is HAck-complete
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
di: Galatos, Nikolaos, et al.
Pubblicazione: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Axiomatizing the Logic of Ordinary Discourse
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

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

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

The logic of bunched implications is undecidable
di: Galatos, Nick, et al.
Pubblicazione: (2026)

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

On the Satisfaction Probabilities of $k$-CNF Formulas
di: Tantau, Till
Pubblicazione: (2022)

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

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

A Theory for Probabilistic Polynomial-Time Reasoning
di: Chen, Lijie, et al.
Pubblicazione: (2026)

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

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

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
di: Higuchi, Joaquim Reizi
Pubblicazione: (2026)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

What If Turing Had Preceded Gödel?
di: Oberhoff, Sebastian
Pubblicazione: (2024)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
di: Hausmann, Daniel, et al.
Pubblicazione: (2022)

Glivenko's theorems from an ecumenical perspective
di: Pereira, Luiz Carlos, et al.
Pubblicazione: (2026)

The Directed Van Kampen Theorem in Lean
di: Basold, Henning, et al.
Pubblicazione: (2023)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
di: Grochow, Joshua A., et al.
Pubblicazione: (2022)

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

Polynomial-time Tractable Problems over the $p$-adic Numbers
di: Fehm, Arno, et al.
Pubblicazione: (2025)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

Discernment is all you need
di: Fuenmayor, David
Pubblicazione: (2026)

Structure-Guided Automated Reasoning
di: Bannach, Max, et al.
Pubblicazione: (2023)

A Coherence Construction for the Propositional Universe
di: Huang, Xu
Pubblicazione: (2024)

Conjunctive categorial grammars and Lambek grammars with additives
di: Kuznetsov, Stepan L., et al.
Pubblicazione: (2024)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Normal forms in cubical type theory
di: Huang, Xu
Pubblicazione: (2026)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)

A Note on Proper Relational Structures
di: Bjorndahl, Adam, et al.
Pubblicazione: (2025)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
di: Nakamura, Yuki
Pubblicazione: (2026)