Copertina

The logic of bunched implications is undecidable

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Galatos, Nick, Jipsen, Peter, Knudstorp, Søren Brinck, Ramanayake, Revantha
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03B70, 03B25, 03B47, 03G25, 06D15 F.3.1; F.3.2; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Undecidability in Relevant Logic
di: Knudstorp, Søren Brinck
Pubblicazione: (2026)

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

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

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

Extracting total Amb programs from proofs
di: Berger, Ulrich, et al.
Pubblicazione: (2023)

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

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

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

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

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

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

Residuated lattices do not have the amalgamation property
di: Jipsen, Peter, et al.
Pubblicazione: (2025)

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

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

Node Replication: Theory And Practice
di: Kesner, Delia, et al.
Pubblicazione: (2022)

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

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

Continuous and algebraic domains in univalent foundations
di: de Jong, Tom, et al.
Pubblicazione: (2024)

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

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

A vector logic for extensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2024)

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

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
di: Walsh, Sean
Pubblicazione: (2024)

Meaning as Use, Application, Employment, Purpose, Usefulness
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

From the Notebooks to the Investigations and Beyond
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Approximate Axiomatization for Differentially-Defined Functions
di: Platzer, André, et al.
Pubblicazione: (2025)

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

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
di: Wang, Zili, et al.
Pubblicazione: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
di: Kosaian, Katherine, et al.
Pubblicazione: (2024)

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

Nominal techniques as an Agda library
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2026)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

Kripke-like models of Set Theory in Modal Residuated Logic
di: Moncayo, Jose, et al.
Pubblicazione: (2024)

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

Hypersequent Calculi Have Ackermannian Complexity
di: Balasubramanian, A. R., et al.
Pubblicazione: (2026)

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)