Imagen de Portada

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Knudstorp, Søren Brinck
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03B25, 03B45, 06E25 (Primary) 03D10, 03G15, 06F05 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Undecidability in Relevant Logic
por: Knudstorp, Søren Brinck
Publicado: (2026)

Decidable varieties of p-algebras
por: Kowalski, Tomasz, et al.
Publicado: (2024)

Possibility Semantics
por: Holliday, Wesley H.
Publicado: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
por: Coquand, Thierry, et al.
Publicado: (2017)

Correspondence Theory for Many-valued Modal Logic
por: Britz, Cecelia, et al.
Publicado: (2024)

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

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

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

The Monadic Grzegorczyk Logic
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
por: Cornejo, Juan M., et al.
Publicado: (2024)

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

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

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
por: Sankappanavar, Hanamantagouda P.
Publicado: (2025)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
por: Gardiner, Lyra A., et al.
Publicado: (2026)

Locally Integral Involutive PO-Semigroups
por: Gil-Férez, José, et al.
Publicado: (2023)

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

The cohesive and stable Ramsey theorems and proof size over a weak base theory
por: Kołodziejczyk, Leszek Aleksander, et al.
Publicado: (2026)

Ultracontact algebras and stack systems
por: Carai, Luca, et al.
Publicado: (2026)

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

On the structure of modal and tense operators on a boolean algebra
por: Bezhanishvili, Guram, et al.
Publicado: (2023)

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

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

Interpolation in Hájek's Basic Logic
por: Fussner, Wesley, et al.
Publicado: (2024)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

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

(Extra)ordinary equivalences with the ascending/descending sequence principle
por: Fiori-Carones, Marta, et al.
Publicado: (2021)

Varieties generated by completions
por: Andréka, H., et al.
Publicado: (2018)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
por: Houérou, Quentin Le, et al.
Publicado: (2026)

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

Unorthodox Algebras and their associated Unorthodox Logics
por: Sankappanavar, Hanamantagouda P.
Publicado: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
por: Wang, Shuwei
Publicado: (2026)

Untranscendable order types
por: Ervin, Garrett, et al.
Publicado: (2026)

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

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

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