Pages that link to "Item:Q598307"

The following pages link to Intuitionistic logic and modality via topology (Q598307):

Displaying 40 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)
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
• The power of a propositional constant (Q742479) (← links)
• Around provability logic (Q1035652) (← links)
• Topology and duality in modal logic (Q1101436) (← links)
• A topos-theoretic approach to reference and modality (Q1182706) (← links)
• Some purely topological models for intuitionistic analysis (Q1302294) (← links)
• Formal systems for modal operators on locales (Q1319366) (← links)
• Topological-frame products of modal logics (Q1756592) (← links)
• Topological separation principles and logical theories (Q1840979) (← links)
• Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
• A topological approach to full belief (Q2421518) (← links)
• Finite model property in weakly transitive tense logics (Q2698279) (← links)
• Topological representation of material implication and the rule of inference modus ponens (Q2811653) (← links)
• Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
• (Q3509066) (← links)
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE (Q3550704) (← links)
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
• Topological modal logic of $ \mathbb R$ with inequality (Q3600787) (← links)
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
• Pantachies and Weakly Inaccessible Cardinals (Q3781058) (← links)
• (Q3784048) (← links)
• (Q3978987) (← links)
• Some Connections between Topological and Modal Logic (Q4323831) (← links)
• (Q4499150) (← links)
• (Q4735194) (← 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)
• (Q5419867) (← links)
• Cardinal spaces and topological representations of bimodal logics (Q5697718) (← 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)
• Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
• The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)