Cover Image

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$

Fuente: arXiv

Saved in:

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

Similar Items

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

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

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

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

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

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

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

Generalizations of The Finite Height Criterion for Local Tabularity
by: Shapirovsky, Ilya B.
Published: (2025)

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

FMP for QD logics. A wrong proof
by: Gasquet, Olivier
Published: (2025)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

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

Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)

Local tabularity in MS4 with Casari's axiom
by: Meadors, Chase
Published: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

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

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

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

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

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Support + Belief = Decision Trust
by: Aldini, Alessandro, et al.
Published: (2024)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
by: Shapirovsky, Ilya B., et al.
Published: (2025)

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

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

Knowability as continuity: a topological account of informational dependence
by: Baltag, Alexandru, et al.
Published: (2024)

Complexity of some modal logics of density (extended version)
by: Balbiani, Philippe, et al.
Published: (2025)

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

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)