Pages that link to "Item:Q2939296"
From MaRDI portal
The following pages link to Alternating-time temporal dynamic epistemic logic (Q2939296):
Displaying 12 items.
- Merging DEL and ETL (Q616038) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Comparing semantics of logics for multi-agent systems (Q2431875) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics (Q3400789) (← links)
- Taming the Complexity of Temporal Epistemic Reasoning (Q3655200) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- To be announced (Q6040661) (← links)
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)