On the logic of ability
It has been argued by philosophers that the `can' expressing a person's ability cannot be considered as a modal operator since it violates the characteristic laws of even the weakest \(\diamond\)-logics, in particular: \(\diamond (AvB)\to (\diamond Av\diamond B)\). (``I am able to draw a card which will have one of the colors red or black, but I cannot draw a red card, and I cannot draw a black card, p. 2). The author suggests, however, to make the `can' of ability amenable to logical treatment by extending the standard possible worlds-semantics to so-called minimal models in which one has instead of the usual accessability relation, R, a ``relevance relation between a world and a set of possible worlds (p. 3). The truth-condition runs as follows: `X can bring it about that A' ``will be true at a given world iff there exists a relevant cluster of worlds, at every world of which A is true (p. 5). This semantic analysis reveals that the `can' of ability contains some elements of an ordinary \(\diamond -\) but also some of an ordinary \(\square\)-operator. In the formal part of the paper (pp. 8-22), axiom-systems, corresponding semantic requirements, and completeness-proofs are presented.
- Getting started: Beginnings in the logic of action
- Normal bimodal logics of ability and action
- Agency and obligation
- A dynamic logic of action
- On bringing it about
- The deliberative stit: A study of action, omission, ability, and obligation
- A logic of comparative obligation
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- A logic of goal-directed knowing how
- On the logic of cooperation and propositional control
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- A Logic of Knowing How
- The Modal Formula (†) \square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p Is Not First-Order Definable
- scientific article; zbMATH DE number 1252397 (Why is no real title available?)
- THE LOGIC OF RESOURCES AND CAPABILITIES
- ACTION TYPES IN STIT SEMANTICS
- scientific article; zbMATH DE number 1444713 (Why is no real title available?)
- On the reconciliation of logics of agency and logics of event types
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
- Uncompactness of stit logics containing generalized refref conditionals
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
- Neighborhood semantics for logic of knowing how
- Combinations of stit and actions
- Does success entail ability?
- CoNP complexity for combinations of non-normal modal logics
- Non-normal Modal description logics
- Actual cause and chancy causation in \textit{stit}: a preliminary account
- Revisiting epistemic logic with names
- Inquisitive neighborhood logic
- Minimally congruential contexts: observations and questions on embedding E in K
- Actions as events
- Nested sequents or tree-hypersequents -- a survey
- The logic of ability, freedom and responsibility
- On the axiomatisation of Elgesem's logic of agency and ability
- Agential free choice
- Means-end relations and a measure of efficacy
This page was built for publication: On the logic of ability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107508)
