Pages that link to "Item:Q1919762"
From MaRDI portal
The following pages link to Topological reasoning and the logic of knowledge (Q1919762):
Displayed 11 items.
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Temporal aspects of the modal logic of subset spaces (Q1960421) (← links)
- A Grim semantics for logics of belief (Q2481242) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Expressivity in polygonal, plane mereotopology (Q4508265) (← links)
- Topological modal logics satisfying finite chain conditions (Q5937828) (← links)