(1) School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD 4072, Australia;(2) CIRSFID, Law Faculty, University of Bologna, Via Galliera 3, 40121 Bologna, Italy
Abstract:
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.