Buchumschlag

Failure of the Blok-Esakia Theorem in the monadic setting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bezhanishvili, Guram, Carai, Luca
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B45, 03B55, 06D20, 06E25, 06E15
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Maximality Principles in Modal Logic and the Axiom of Choice
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Local finiteness in varieties of MS4-algebras
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Free algebras and coproducts in varieties of Gödel algebras
von: Carai, Luca
Veröffentlicht: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

A calculus for modal compact Hausdorff spaces
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

On the structure of modal and tense operators on a boolean algebra
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

The Monadic Grzegorczyk Logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Local tabularity in MS4 with Casari's axiom
von: Meadors, Chase
Veröffentlicht: (2024)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

A mixed logic with binary operators
von: Düntsch, Ivo, et al.
Veröffentlicht: (2024)

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

The category of topological spaces and open maps does not have products
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2022)

Stone type representation theorems via games
von: Aslan, Tuğba, et al.
Veröffentlicht: (2018)

Esakia order-compactifications and locally Esakia spaces
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

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

Canonicity in power and modal logics of finite achronal width
von: Goldblatt, Robert, et al.
Veröffentlicht: (2022)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
Veröffentlicht: (2025)

Generalizations of The Finite Height Criterion for Local Tabularity
von: Shapirovsky, Ilya B.
Veröffentlicht: (2025)

Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

On distance logics of Euclidean spaces
von: Agnew, Gabriel, et al.
Veröffentlicht: (2025)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

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

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

Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)

Intuitionistic Sahlqvist theory for deductive systems
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2022)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
von: Lin, Chun-Yu, et al.
Veröffentlicht: (2025)

Tukey-idempotency and strong p-points
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

Cohen-like first order structures
von: Kostana, Ziemowit
Veröffentlicht: (2020)

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2022)

Cutsets in ${\mathcal P}(X)$
von: Ginsburg, John, et al.
Veröffentlicht: (2025)