Pages that link to "Item:Q5607976"
From MaRDI portal
The following pages link to Some relational systems and the associated topological spaces (Q5607976):
Displaying 29 items.
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Union of logics modeled by finite trees (Q1055763) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Maximality in modal logic (Q1092032) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- Solvability of logical equations in the modal system Grz and intuitionistic logic (Q1177557) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Pretabular extensions of Lewis S4 (Q1222645) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- Finite-level modal logics (Q1245106) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- Interpretations of intuitionist logic in non-normal modal logics (Q1283321) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Power structures (Q1802251) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- (Q4556013) (← links)
- (Q4625704) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Which modal logic is the right one? (Q5937846) (← links)