Image de couverture de livre

FMP for QD logics. A wrong proof

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gasquet, Olivier
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science 03B45 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Complexity of some modal logics of density (extended version)
par: Balbiani, Philippe, et autres
Publié: (2025)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
par: Gasquet, Olivier
Publié: (2025)

Recursive windows for grammar logics of bounded density
par: Gasquet, Olivier
Publié: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
par: Balbiani, Philippe, et autres
Publié: (2025)

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

Knowability as continuity: a topological account of informational dependence
par: Baltag, Alexandru, et autres
Publié: (2024)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

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

First-Order Fischer Servi Logic
par: Christensen, Ahmee
Publié: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
par: Gabbay, Murdoch J., et autres
Publié: (2025)

Modal logic, fundamentally
par: Holliday, Wesley H.
Publié: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

Sheaves as oracle computations
par: Ahman, Danel, et autres
Publié: (2026)

Support + Belief = Decision Trust
par: Aldini, Alessandro, et autres
Publié: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

On distance logics of Euclidean spaces
par: Agnew, Gabriel, et autres
Publié: (2025)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Sufficient conditions for local tabularity of a polymodal logic
par: Shapirovsky, Ilya B.
Publié: (2022)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

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

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
par: Borzechowski, Manfred, et autres
Publié: (2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
par: Forster, Jonas, et autres
Publié: (2023)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

A meta-modal logic for bisimulations
par: Burrieza, Alfredo, et autres
Publié: (2025)

Dismantling the Surprise Test "Paradox"
par: Dietzfelbinger, Martin
Publié: (2026)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
par: Wild, Paul, et autres
Publié: (2025)

A complete logic for causal consistency
par: Simmons, Will, et autres
Publié: (2024)

A Note on Proper Relational Structures
par: Bjorndahl, Adam, et autres
Publié: (2025)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

Belief in Simplicial Complexes
par: Sink, Philip, et autres
Publié: (2025)

Normal forms in cubical type theory
par: Huang, Xu
Publié: (2026)

Axiomatizing the Logic of Ordinary Discourse
par: Greati, Vitor, et autres
Publié: (2024)

Reasoning Around Paradox with Grounded Deduction
par: Ford, Bryan
Publié: (2024)

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

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
par: Poernomo, Iman
Publié: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
par: Barrett, Victoria, et autres
Publié: (2025)