Pages that link to "Item:Q2867949"
From MaRDI portal
The following pages link to Topological perspective on the hybrid proof rules (Q2867949):
Displaying 8 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)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
- Analogues of Bull’s theorem for hybrid logic (Q5382581) (← links)