The goal of our research is to highlight the connection between modal provability theory and default logic. Our work continues the research tradition in which definitions of extensions in default logic are related to modal systems. The main innovation is to try to get the most out of reflection results due to G6del and developed by Boolos, Smorynski, Bernardi, and Solovay.
Provability Logic for Default Reasoning 2 / Gianni, Amati; Dov, Gabbay; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora. - In: THE BULLETIN OF SYMBOLIC LOGIC. - ISSN 1079-8986. - STAMPA. - 3:(1997), pp. 110-111.
Provability Logic for Default Reasoning 2
CARLUCCI, Luigia;PIRRI ARDIZZONE, Maria Fiora
1997
Abstract
The goal of our research is to highlight the connection between modal provability theory and default logic. Our work continues the research tradition in which definitions of extensions in default logic are related to modal systems. The main innovation is to try to get the most out of reflection results due to G6del and developed by Boolos, Smorynski, Bernardi, and Solovay.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
