Cover Image

The Monadic Grzegorczyk Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bezhanishvili, Guram, Khan, Mashiath
Format:	Preprint
Published:	2024
Subjects:	Logic 03B45, 03C90, 06E25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

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

Mice with Woodin cardinals from a Reinhardt
by: Schlutzenberg, Farmer
Published: (2024)

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

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

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

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

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

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

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

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

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

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

A New Construction Principle
by: Hyttinen, Tapani, et al.
Published: (2025)

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

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)