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.
2004
AIML-2004: ADVANCES IN MODAL LOGIC INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (TECHNICAL REPORT SERIES UMCS 04-9-1)
130
144
G. Governatori, A. Rotolo (2004). On the Axiomatization of Elgesem’s Logic of Agency. MANCHESTER : University of Manchester.
G. Governatori; A. Rotolo
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/12603
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact