Pages that link to "Item:Q391101"

The following pages link to Model-checking games for logics of imperfect information (Q391101):

Displaying 3 items.

• A double team semantics for generalized quantifiers (Q302243) (← links)
• A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
• A first-order coalition logic for BDI-agents (Q1712430) (← links)