Copertina

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bezhanishvili, Guram, Khan, Mashiath
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03B45, 03C90, 06E25
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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)

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

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

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

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

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

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

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

Esakia's theorem for the amended monadic intuitionistic calculus
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

Failure of Esakia's theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

The lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive
di: Wang, David G. L., et al.
Pubblicazione: (2025)

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

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

Forcing More DC Over the Chang Model Using the Thorn Sequence
di: Holland, James, et al.
Pubblicazione: (2022)

Poset Partitions and the Combinatorics of the $\textbf{cd}$-Index
di: Caster, Felipe, et al.
Pubblicazione: (2026)

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

Local mantles of $L[x]$
di: Schlutzenberg, Farmer
Pubblicazione: (2021)

Mice with Woodin cardinals from a Reinhardt
di: Schlutzenberg, Farmer
Pubblicazione: (2024)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
di: Schlutzenberg, Farmer
Pubblicazione: (2020)

Twins: non-isomorphic models forced to be isomorphic. Part I
di: Shelah, Saharon
Pubblicazione: (2025)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
di: Lücke, Philipp
Pubblicazione: (2024)

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

The modal theory of the category of sets
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

Cohen-like first order structures
di: Kostana, Ziemowit
Pubblicazione: (2020)

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

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

Monoidal Symmetric Models
di: Basak, Dianthe
Pubblicazione: (2024)

The modal theory of linear orders
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

A New Construction Principle
di: Hyttinen, Tapani, et al.
Pubblicazione: (2025)

The first measurable can be the first inaccessible cardinal
di: Gitik, Moti, et al.
Pubblicazione: (2024)