Cover Image

On the structure of modal and tense operators on a boolean algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bezhanishvili, Guram, Kornell, Andre
Format:	Preprint
Published:	2023
Subjects:	Logic General Topology 03B45, 03B44, 06E25, 06E15, 54G05, 54B20, 18F70, 06D22
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

Priestley perspective on pointfree topology
by: Bezhanishvili, Guram, et al.
Published: (2025)

Uniform locales and their constructive aspects
by: Manuell, Graham
Published: (2021)

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

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

Deriving dualities in pointfree topology from Priestley duality
by: Bezhanishvili, G., et al.
Published: (2022)

Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness
by: Bezhanishvili, G., et al.
Published: (2024)

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

McKinsey-Tarski algebras and Raney extensions
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)

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

Maximal $d$-spectra via Priestley duality
by: Bezhanishvili, G., et al.
Published: (2025)

Local compactness in MT-algebras
by: Bezhanishvili, Guram, et al.
Published: (2024)

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

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

Products of Directed Sets with Calibre $(ω_1, ω)$
by: Gartside, Paul, et al.
Published: (2024)

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

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

Subfitness in distributive (semi)lattices
by: Bezhanishvili, Guram, et al.
Published: (2024)

Possibility Semantics
by: Holliday, Wesley H.
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)

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

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

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

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

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)

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

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

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

A model theory of topology
by: Lipparini, Paolo
Published: (2022)

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
by: Bezhanishvili, Guram, et al.
Published: (2022)

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

On algebraic and topological semantics of the modal logic of common knowledge S4CI
by: Shamkanov, Daniyar
Published: (2021)

Forking in valued fields and related structures
by: Hossain, Akash
Published: (2024)