Pages that link to "Item:Q631091"

The following pages link to Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091):

Displaying 3 items.

• A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
• Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
• A simple logic of the hide and seek game (Q6057624) (← links)