Pages that link to "Item:Q5310658"

The following pages link to Modal Logics of Topological Relations (Q5310658):

Displaying 32 items.

• A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
• Logics for stable and unstable mereological relations (Q651278) (← links)
• Tangled modal logic for topological dynamics (Q764267) (← links)
• Subject-oriented spatial logic (Q821569) (← links)
• A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
• Modal logics of some geometrical structures (Q927480) (← links)
• Flexible software architectures for ontology-based information systems (Q1006736) (← links)
• Topology and duality in modal logic (Q1101436) (← links)
• A topos-theoretic approach to reference and modality (Q1182706) (← links)
• Topological-frame products of modal logics (Q1756592) (← links)
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
• A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
• Drawing interactive Euler diagrams from region connection calculus specifications (Q2629218) (← links)
• Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search (Q2938524) (← links)
• A topological characterization of consistency of logic theories in propositional logic (Q3419670) (← links)
• Topological Semantics of Justification Logic (Q3503622) (← links)
• (Q3509066) (← links)
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
• Topological modal logic of $ \mathbb R$ with inequality (Q3600787) (← links)
• (Q3647279) (← links)
• (Q3784048) (← links)
• (Q3978987) (← links)
• Some Connections between Topological and Modal Logic (Q4323831) (← links)
• The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
• (Q4735194) (← links)
• MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
• A Topos-Theoretic Approach to Counterfactual Logic (Q5170289) (← links)
• (Q5365498) (← links)
• (Q5419867) (← links)
• Cardinal spaces and topological representations of bimodal logics (Q5697718) (← links)
• Logic-sensitivity and bitstring semantics in the square of opposition (Q6145033) (← links)
• Decision tree learning with spatial modal logics (Q6649530) (← links)