Pages that link to "Item:Q598307"
From MaRDI portal
The following pages link to Intuitionistic logic and modality via topology (Q598307):
Displayed 12 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)
- 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 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)