The following pages link to (Q3400789):
Displayed 9 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Actions as events (Q692178) (← links)
- Knowing the price of success (Q785233) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)