Copertina

Sufficient conditions for local tabularity of a polymodal logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Shapirovsky, Ilya B.
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic 03B45, 03B62, 06E25 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

Modal logic, fundamentally
di: Holliday, Wesley H.
Pubblicazione: (2024)

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

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

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

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

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

FMP for QD logics. A wrong proof
di: Gasquet, Olivier
Pubblicazione: (2025)

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

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Dismantling the Surprise Test "Paradox"
di: Dietzfelbinger, Martin
Pubblicazione: (2026)

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

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

The Monadic Grzegorczyk Logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

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

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

First-Order Coalition Logic
di: Catta, Davide, et al.
Pubblicazione: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)