On the Axiomatisation of Elgesem's Logic of Agency and Ability.
In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his appro...
| Published in: | Journal of Philosophical Logic Vol. 34; no. 4; pp. 403 - 432 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Published: |
Springer Nature
Aug2005
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| Summary: | In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem's modal logic of agency and ability using semantics with different flavours. |
|---|