Pages that link to "Item:Q2867949"
From MaRDI portal
The following pages link to Topological Perspective on the Hybrid Proof Rules (Q2867949):
Displaying 6 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- On independent axiomatizability of quasi-normal modal logics (Q2082254) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)