The following pages link to (Q3509061):
Displaying 5 items.
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)