Pages that link to "Item:Q1006488"
From MaRDI portal
The following pages link to A hybrid logic for reasoning about knowledge and topology (Q1006488):
Displaying 9 items.
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- Knowledge on treelike spaces (Q1372362) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Reusing topological nexttime logic (Q2027210) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- The Hybrid Logic of Linear Set Spaces (Q4823801) (← links)
- Algebraic Methodology and Software Technology (Q5312979) (← links)