Cover Image

Undecidability in Relevant Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Knudstorp, Søren Brinck
Format:	Preprint
Published:	2026
Subjects:	Logic 03B47, 03B25, 03D10 F.4.1; F.1.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

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

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

Sufficient conditions for local tabularity of a polymodal logic
by: Shapirovsky, Ilya B.
Published: (2022)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Sheaves as oracle computations
by: Ahman, Danel, et al.
Published: (2026)

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

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

Y is a least fixed point combinator
by: Helfer, Joseph
Published: (2025)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

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

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

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

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

On distance logics of Euclidean spaces
by: Agnew, Gabriel, et al.
Published: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
by: Shamkanov, Daniyar
Published: (2021)

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

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