(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.
