Ground Nonmonotonic Modal Logic S5: New Results

We study logic programs under Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between T and S5 are equivalent. Furthermore, we als...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2005-10, Vol.15 (5), p.787-813
Hauptverfasser:	Galindo, Mauricio Osorio, Pérez, Juan Antonio Navarro, Ramírez, José R. Arrazola, Macías, Verónica Borja
Format:	Artikel
Sprache:	eng
Schlagworte:	logic programming Modal logic S5 nonmonotonic reasoning semantics of programming FOUR bilattice
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!