Buchumschlag

Degrees of the finite model property: the antidichotomy theorem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bezhanishvili, Guram, Bezhanishvili, Nick, Moraschini, Tommaso
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

Bi-intermediate logics of trees and co-trees
von: Bezhanishvili, N., et al.
Veröffentlicht: (2022)

The Baire closure and its logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2021)

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

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)

Duality for distributive and implicative semi-lattices
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
von: Abbadini, Marco, et al.
Veröffentlicht: (2022)

A new proof of Funayama's theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Structural Completeness in bi-IPC
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

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

The Cardinalities of Intervals of Equational Theories and Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Fischer-Servi logic does not have interpolation
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

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

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

Priestley perspective on pointfree topology
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

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

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

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Hofmann-Mislove through the Lenses of Priestley
von: Bezhanishvili, G., et al.
Veröffentlicht: (2022)

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

On the universal theory of the free pseudocomplemented distributive lattice
von: Carai, Luca, et al.
Veröffentlicht: (2024)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
von: Martins, Miguel, et al.
Veröffentlicht: (2024)

Trees and spectra of Heyting algebras
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2024)

On Shehtman's two problems
von: Guram Bezhanishvili, et al.
Veröffentlicht: (2025)

Congruence permutability in quasivarieties
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Bounded depth in Hilbert algebras
von: Carai, Luca, et al.
Veröffentlicht: (2026)

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

Local compactness in MT-algebras
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Pseudocomplementation in rings of continuous functions
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2026)

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

The theory of implicit operations
von: Carai, Luca, et al.
Veröffentlicht: (2025)

An addendum to "The theory of implicit operations"
von: Carai, Luca, et al.
Veröffentlicht: (2025)