Pages that link to "Item:Q631091"
From MaRDI portal
The following pages link to Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091):
Displaying 4 items.
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)