Pages that link to "Item:Q2500827"
From MaRDI portal
The following pages link to Action and knowledge in alternating-time temporal logic (Q2500827):
Displaying 12 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Quantified coalition logic (Q1024128) (← 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)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← 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)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- A Logic-Based Analysis of Responsibility (Q6118734) (← links)
