scientific article; zbMATH DE number 3463628

Cited in

(only showing first 100 items - show all)

Pro-finite MV-spaces
On some classes of Heyting algebras with successor that have the amalgamation property
On some compatible operations on Heyting algebras
Tarski's theorem on intuitionistic logic, for polyhedra
Singly generated quasivarieties and residuated structures
Priestley duality for bilattices
Involutive symmetric Gödel spaces, their algebraic duals and logic
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
An algebraic approach to subframe logics. Intuitionistic case
Gödel spaces and perfect MV-algebras
Admissible bases via stable canonical rules
Algorithmic correspondence and canonicity for distributive modal logic
An open mapping theorem for finitely copresented Esakia spaces
Profinite Heyting algebras
Canonical extensions, Esakia spaces, and universal models
Sahlqvist theorem for modal fixed point logic
Natural duality, modality, and coalgebra
Duality between modal algebras and neighbourhood frames
Stone coalgebras
A categorical duality for semilattices and lattices
Gödel algebras: interactive dualities and their applications.
Krull dimension in modal logic
Behavioural equivalences for coalgebras with unobservable moves
On products of posets and coproducts of KM-algebras
Restricted Priestley dualities and discriminator varieties
Subdirectly irreducible IKt-algebras
Esakia style duality for implicative semilattices
A coalgebraic view on positive modal logic
Funayama's theorem revisited
Sahlqvist correspondence for modal mu-calculus
A categorical duality for algebras of partial functions
Topological-frame products of modal logics
When is the frame of nuclei spatial: a new approach
Modal companions of intermediate propositional logics
The dual adjunction between MV-algebras and Tychonoff spaces
Cofinal stable logics
Profinite completions and canonical extensions of Heyting algebras
Diagrammatic duality
Toward an infinitary logic of domains: Abramsky logic for transition systems
Generalising canonical extension to the categorical setting
Modal translation of substructural logics
Forbidden configurations and subframe varieties
Around provability logic
Epimorphisms in varieties of residuated structures
Uniform interpolation and coherence
Mathematical modal logic: A view of its evolution
Comparison of MacNeille, canonical, and profinite completions
Connected modal logics
Frontal operators in weak Heyting algebras
Foreword to the special issue dedicated to the memory of Leo Esakia
Not every splitting Heyting or interior algebra is finitely presentable
The enriched Vietoris monad on representable spaces
Reconstructing an open order from its closure, with applications to space-time physics and to logic
Epimorphism surjectivity in varieties of Heyting algebras
A model-theoretic characterization of monadic second order logic on infinite words
Generalized Priestley quasi-orders
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
scientific article; zbMATH DE number 6970800 (Why is no real title available?)
Topology and duality in modal logic
Splittings in varieties of logic
Changing a Semantics: Opportunism or Courage?
Profiniteness and representability of spectra of Heyting algebras
Duality and universal models for the meet-implication fragment of IPC
A frame-theoretic perspective on Esakia duality
scientific article; zbMATH DE number 7397337 (Why is no real title available?)
New perspectives on semi-primal varieties
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
Characterization of metrizable Esakia spaces via some forbidden configurations
On Heyting algebras with negative tense operators
On \(k\)-cyclic \(SHn\)-algebra
Algebraic frames in Priestley duality
Lattice logic as a fragment of (2-sorted) residuated modal logic
On prelinear Hilbert algebras with successor
Prelinear Hilbert algebras
Nelson algebras, residuated lattices and rough sets: A survey
Ordered locales
B-frame duality
Monadic \(k\times j\)-rough Heyting algebras
Epimorphisms in varieties of subidempotent residuated structures
Duality theory for enriched Priestley spaces
Categories of models of \(\mathbf{R}\)-mingle
Difference-restriction algebras of partial functions with operators: discrete duality and completion
A duality for two-sorted lattices
Positive modal logic beyond distributivity
The Fell compactification of a poset
Lattice subordinations and Priestley duality.
Diego's theorem for nuclear implicative semilattices
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Representations for logics and algebras related to revised drastic product t-norm
scientific article; zbMATH DE number 7577568 (Why is no real title available?)
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
The Vietoris functor and modal operators on rings of continuous functions
Hilbert algebras with Hilbert-Galois connections
Difference hierarchies and duality with an application to formal languages
Abstract hidden Markov models: a monadic account of quantitative information flow
Esakia duality and its extensions
Stone duality, topological algebra, and recognition.
Deriving dualities in pointfree topology from Priestley duality

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4049062)