Cover Image

Maximality Principles in Modal Logic and the Axiom of Choice

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Almeida, Rodrigo Nicolau, Bezhanishvili, Guram
Format:	Preprint
Published:	2024
Subjects:	Logic 03E25, 03B20, 03B44, 03B45, 06D20, 06D22, 06D50, 06E25, 06E15, 18F70
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

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

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

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

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

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

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

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

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

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

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

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

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

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

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

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

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

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

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

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

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

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

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

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

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)