Pages that link to "Item:Q5215820"
From MaRDI portal
The following pages link to Coalition logic with individual, distributed and common knowledge1 (Q5215820):
Displaying 13 items.
- Knowing the price of success (Q785233) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Data-informed knowledge and strategies (Q2152494) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge (Q4925179) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- Attainable knowledge and omniscience (Q6642578) (← links)