Reasoning about minimal knowledge in nonmonotonic modal logics

Riccardo Rosati.
Technical report 37.97, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1997.

Bibtex entry:

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

@Techrep{Rosa97d,
author = {Rosati, Riccardo},
title = {Reasoning about minimal knowledge in nonmonotonic modal logics},
institution = DIS,
number = {37.97},
year = {1997},
}