Imagen de Portada

A calculus for modal compact Hausdorff spaces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bezhanishvili, Nick, Carai, Luca, Ghilardi, Silvio, Zhao, Zhiguang
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B45, 06E15, 54E05, 06E25
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Free algebras and coproducts in varieties of Gödel algebras
por: Carai, Luca
Publicado: (2024)

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

Finitely additive measures on Boolean algebras
por: Cardona, Miguel A., et al.
Publicado: (2025)

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

Local compactness does not always imply spatiality
por: Bezhanishvili, G., et al.
Publicado: (2025)

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

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

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

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

Esakia order-compactifications and locally Esakia spaces
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2025)

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

The category of topological spaces and open maps does not have products
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

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

On the problem of generalized measures: an impossibility result
por: Agostini, Claudio, et al.
Publicado: (2026)

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

The Ordering Principle and Dependent Choice
por: Holy, Peter, et al.
Publicado: (2025)

The Ordering Principle and Higher Dependent Choice
por: Holy, Peter, et al.
Publicado: (2025)

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
por: Dimonte, Vincenzo, et al.
Publicado: (2025)

Barr-coexactness for metric compact Hausdorff spaces
por: Abbadini, Marco, et al.
Publicado: (2024)

Duality Theory for Bounded Lattices: A Comparative Study
por: Bezhanishvili, Guram, et al.
Publicado: (2025)

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

The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
por: Shani, Assaf
Publicado: (2024)

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

Embeddings into P(N)/fin and extension of automorphisms
por: Bella, A., et al.
Publicado: (2001)

Cutsets in ${\mathcal P}(X)$
por: Ginsburg, John, et al.
Publicado: (2025)

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

Problems on $β\mathbb{N}$
por: Hart, Klaas Pieter, et al.
Publicado: (2022)

Reduced Products of Collapsing Algebras
por: Kurilić, Miloš S.
Publicado: (2024)

Ivanova contact join-semilattices are not finitely axiomatizable
por: Lipparini, Paolo
Publicado: (2023)

Generalized Borel Sets
por: Agostini, Claudio, et al.
Publicado: (2025)

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

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

Invariants for metrisable locally compact Boolean spaces
por: Apps, Andrew B.
Publicado: (2025)