Buchumschlag

Undecidability of Linear Logics without Weakening

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Suzuki, Jun, Sano, Katsuhiko
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
von: Litak, Tadeusz, et al.
Veröffentlicht: (2025)

Weakening Goals in Logical Specifications
von: Andrew, Ben M.
Veröffentlicht: (2025)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2025)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

The Undecidability of Quantified Announcements
von: Ågotnes, Thomas, et al.
Veröffentlicht: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Counterexample-Guided Interval Weakening
von: Andrew, Ben M., et al.
Veröffentlicht: (2026)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
von: Jovanovic, Dejan
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

Systemic Constraints of Undecidability
von: Bulin, Seth
Veröffentlicht: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
von: Wolter, Frank, et al.
Veröffentlicht: (2024)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
von: Dudenhefner, Andrej
Veröffentlicht: (2026)

Skolemisation for Intuitionistic Linear Logic
von: Bruni, Alessandro, et al.
Veröffentlicht: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
von: Fortin, Marie, et al.
Veröffentlicht: (2023)

On the role of connectivity in Linear Logic proofs
von: Di Donna, Raffaele, et al.
Veröffentlicht: (2025)

An Undecidability Proof for the Plan Existence Problem
von: Achilleos, Antonis
Veröffentlicht: (2026)

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

From Differential Linear Logic to Coherent Differentiation
von: Ehrhard, Thomas
Veröffentlicht: (2024)

Unifying Graded Linear Logic and Differential Operators
von: Breuvart, Flavien, et al.
Veröffentlicht: (2024)

Linear Temporal Justification Logics with Past Operators
von: Ghari, Meghdad
Veröffentlicht: (2018)

Type Isomorphisms for Multiplicative-Additive Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2024)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

A Categorical Semantics for Linear Logical Frameworks
von: Vákár, Matthijs
Veröffentlicht: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Internship report: Coherent differentiation in models of Linear Logic
von: Walch, Aymeric
Veröffentlicht: (2024)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
von: Buzoku, Yll
Veröffentlicht: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
von: Amjad, Rayhana, et al.
Veröffentlicht: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)