Pages that link to "Item:Q2500827"
From MaRDI portal
The following pages link to Action and knowledge in alternating-time temporal logic (Q2500827):
Displaying 21 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Quantified coalition logic (Q1024128) (← links)
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications (Q1420807) (← links)
- Blame it on me (Q1986083) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- On epistemic temporal strategic logic (Q2848071) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Alternating-time temporal dynamic epistemic logic (Q2939296) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics (Q3400789) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- Logics in Artificial Intelligence (Q5394114) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- A Logic-Based Analysis of Responsibility (Q6118734) (← links)
