scientific article; zbMATH DE number 3463628

Cited in

(only showing first 100 items - show all)

MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
Investigating definability in propositional logic via sheaves on Grothendieck topologies
Duality theory for enriched Priestley spaces
Involutive symmetric Gödel spaces, their algebraic duals and logic
Tarski's theorem on intuitionistic logic, for polyhedra
An open mapping theorem for finitely copresented Esakia spaces
scientific article; zbMATH DE number 6970800 (Why is no real title available?)
On Heyting algebras with negative tense operators. II.
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Hilbert algebras with Hilbert-Galois connections
Pro-finite MV-spaces
Ordered locales
Cofinal stable logics
Categories of models of \(\mathbf{R}\)-mingle
Gödel spaces and perfect MV-algebras
Behavioural equivalences for coalgebras with unobservable moves
Funayama's theorem revisited
Changing a Semantics: Opportunism or Courage?
Esakia style duality for implicative semilattices
Toward an infinitary logic of domains: Abramsky logic for transition systems
Representations for logics and algebras related to revised drastic product t-norm
A model-theoretic characterization of monadic second order logic on infinite words
Algorithmic correspondence and canonicity for distributive modal logic
scientific article; zbMATH DE number 7397337 (Why is no real title available?)
Hofmann-Mislove through the lenses of Priestley
An algebraic approach to subframe logics. Intuitionistic case
Connected modal logics
Epimorphisms in varieties of residuated structures
Characterization of metrizable Esakia spaces via some forbidden configurations
Comparison of MacNeille, canonical, and profinite completions
A coalgebraic view on positive modal logic
The dual adjunction between MV-algebras and Tychonoff spaces
Epimorphism surjectivity in varieties of Heyting algebras
Uniform interpolation and coherence
Sahlqvist theorem for modal fixed point logic
Natural duality, modality, and coalgebra
Sahlqvist correspondence for modal mu-calculus
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Epimorphisms in varieties of subidempotent residuated structures
scientific article; zbMATH DE number 7471716 (Why is no real title available?)
Admissible bases via stable canonical rules
Krull dimension in modal logic
A complete invariant system for Noetherian BL-algebras and more general L-algebras
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
Splittings in varieties of logic
A categorical duality for algebras of partial functions
Intuitionistic Sahlqvist theory for deductive systems
Irreducible equivalence relations, Gleason spaces, and de Vries duality
On some classes of Heyting algebras with successor that have the amalgamation property
Profiniteness and representability of spectra of Heyting algebras
Monadic k j-rough Heyting algebras
Restricted Priestley dualities and discriminator varieties
Difference hierarchies and duality with an application to formal languages
A categorical duality for semilattices and lattices
The Vietoris functor and modal operators on rings of continuous functions
Canonical extensions, Esakia spaces, and universal models
Stone coalgebras
Abstract hidden Markov models: a monadic account of quantitative information flow
When is the frame of nuclei spatial: a new approach
Topology and duality in modal logic
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Topological-frame products of modal logics
Priestley duality for bilattices
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
Diagrammatic duality
On \(k\)-cyclic \(SHn\)-algebra
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
Reconstructing an open order from its closure, with applications to space-time physics and to logic
Lattice subordinations and Priestley duality.
A frame-theoretic perspective on Esakia duality
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
Lattice logic as a fragment of (2-sorted) residuated modal logic
Positive modal logic beyond distributivity
Failure of the Blok-Esakia theorem in the monadic setting
The L-algebras related to prime spectra of Bézout domains and abelian -groups
Esakia duality and its extensions
Deriving dualities in pointfree topology from Priestley duality
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
On prelinear Hilbert algebras with successor
Prelinear Hilbert algebras
Characterization of subdirectly irreducible Heyting algebras with negative tense operators
Stable canonical rules for intuitionistic modal logics
On the lack of colimits in various categories arising in pointfree topology and algebraic logic
On some compatible operations on Heyting algebras
New perspectives on semi-primal varieties
On Heyting algebras with negative tense operators
A duality for two-sorted lattices
Profinite completions and canonical extensions of Heyting algebras
Singly generated quasivarieties and residuated structures
The introduction of topology into analytic philosophy: two movements and a coda
Diego's theorem for nuclear implicative semilattices
Mathematical modal logic: A view of its evolution
scientific article; zbMATH DE number 7577568 (Why is no real title available?)
Duality between modal algebras and neighbourhood frames
Around provability logic
Strictly n-finite varieties of Heyting algebras
Forbidden configurations and subframe varieties

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)