The following pages link to On the logic of ability (Q1107508):
Displaying 27 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- Actions as events (Q692178) (← links)
- On the axiomatisation of Elgesem's logic of agency and ability (Q815019) (← links)
- Means-end relations and a measure of efficacy (Q853789) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- Normal bimodal logics of ability and action (Q1207434) (← links)
- Agency and obligation (Q1292991) (← links)
- A dynamic logic of action (Q1337608) (← links)
- On bringing it about (Q1908787) (← links)
- The deliberative stit: A study of action, omission, ability, and obligation (Q1908789) (← links)
- A logic of comparative obligation (Q1922824) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable (Q3623840) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms (Q5098752) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations (Q6054066) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- Does success entail ability? (Q6495244) (← links)