Ground Nonmonotonic Modal Logics

Francesco M Donini, Daniele Nardi, Riccardo Rosati.
Technical report 19.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1995. Appeared in Journal of Logic and Computation, 7:4, 1997.

 

Bibtex entry:

@String{DIS = "Dipartimento di Informatica e Sistemistica, Universit{\`a} di Roma ``La Sapienza''"}

@Techrep{DoNR95c,
author = {Donini, Francesco M and Nardi, Daniele and Rosati, Riccardo},
title = {Ground Nonmonotonic Modal Logics},
institution = DIS,
number = {19.95},
year = {1995} ,
note = {Appeared in {\em Journal of Logic and Computation}, 7:4, 1997},
}