Pages that link to "Item:Q598307"
From MaRDI portal
The following pages link to Intuitionistic logic and modality via topology (Q598307):
Displaying 18 items.
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- The power of a propositional constant (Q742479) (← links)
- Around provability logic (Q1035652) (← links)
- A topological approach to full belief (Q2421518) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE (Q3550704) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Additive derivative and multiplicative coderivative operators on MV-algebras (Q5743024) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)
