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.
G. Governatori, A. Rotolo (2004). On the Axiomatization of Elgesem’s Logic of Agency. MANCHESTER : University of Manchester.
On the Axiomatization of Elgesem’s Logic of Agency
GOVERNATORI, GUIDO;ROTOLO, ANTONINO
2004
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
