scientific article; zbMATH DE number 3463628

Cited in

(only showing first 100 items - show all)

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