Buchumschlag

The Golden Path to Guarded Monotone Strict NP

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barsukov, Alexey, Pinsker, Michael, Rydval, Jakub
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Databases Logic 03-08, 03B25, 03B70, 03D15 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Generalizations of The Finite Height Criterion for Local Tabularity
von: Shapirovsky, Ilya B.
Veröffentlicht: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

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

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)

Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Dismantling the Surprise Test "Paradox"
von: Dietzfelbinger, Martin
Veröffentlicht: (2026)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

ASP Chef grows Mustache to look better
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
von: Barrett, Victoria, et al.
Veröffentlicht: (2025)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)