Pages that link to "Item:Q5312979"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312979):
Displaying 4 items.
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)