Pages that link to "Item:Q1047799"
From MaRDI portal
The following pages link to Hybrid logics of separation axioms (Q1047799):
Displaying 6 items.
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- (Q5377149) (← links)
- Hybrid logics with Sahlqvist axioms (Q5697717) (← links)
- Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888) (← links)