Some relational systems and the associated topological spaces

Cited in

(34)

Union of logics modeled by finite trees
On superintuitionistic logics as fragments of proof logic extensions
Maximality in modal logic
On fragments of Medvedev's logic
Solvability of logical equations in the modal system Grz and intuitionistic logic
Modal companions of intermediate propositional logics
Non-classical propositional calculi in relation to methodological patterns of scientific investigation
A lattice of normal modal logics
Pretabular extensions of Lewis S4
Hereditarily finitely axiomatizable extensions of logic S4
Finite-level modal logics
Noncompact extensions of the logic S4
Interpretations of intuitionist logic in non-normal modal logics
Mathematical modal logic: A view of its evolution
Power structures
Willem Blok and modal logic
Kripke models and intermediate logics
Varieties of complex algebras
Foreword to the special issue dedicated to the memory of Leo Esakia
Grzegorczyk algebras revisited
Sahlqvist via translation
Modal Logics that Bound the Circumference of Transitive Frames
Maksimova, relevance and the study of lattices of non-classical logics
Lattice NExtS4 from the embedding theorem viewpoint
On the Blok-Esakia theorem
Which modal logic is the right one?
Intuitionistic logic and modality via topology
The modal logic of Gödel sentences
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
Logics of import and export for the implicative conditional
Intuitionistic \textsf{S4} as a logic of topological spaces
A terminating intuitionistic calculus
A generic solution to the sorites paradox. Based on an extension of the modal logic S4.1
Local finiteness in varieties of MS4-algebras

This page was built for publication: Some relational systems and the associated topological spaces

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