Pages that link to "Item:Q817694"

The following pages link to Some results on modal axiomatization and definability for topological spaces (Q817694):

Displaying 28 items.

• Matching topological and frame products of modal logics (Q295921) (← links)
• Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191) (← links)
• 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)
• Simple weakly transitive modal algebras (Q619324) (← links)
• The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
• Submaximal and door compactifications (Q719725) (← links)
• Scattered and hereditarily irresolvable spaces in modal logic (Q964455) (← links)
• A canonical topological model for extensions of K4 (Q969431) (← links)
• Modal languages for topology: expressivity and definability (Q1023054) (← links)
• More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
• Structural and numerical studies of some topological properties for Alexandroff spaces (Q2169256) (← links)
• A topological approach to full belief (Q2421518) (← links)
• The polytopologies of transfinite provability logic (Q2449857) (← links)
• Tree-like constructions in topology and modal logic (Q2663333) (← links)
• Finite model property in weakly transitive tense logics (Q2698279) (← links)
• A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE (Q3550704) (← links)
• KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
• TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 (Q4637951) (← links)
• Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
• Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
• (Q5094906) (← links)
• On some topological properties in the class of Alexandroff spaces (Q5100216) (← links)
• Topological Interpretations of Provability Logic (Q5255798) (← links)
• TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
• Locally closed sets and submaximal spaces and some other related concepts (Q6541075) (← links)
• Topological product of modal logics with the McKinsey axiom (Q6545174) (← links)