Riccardo Rosati.
Technical report 14.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999.
@String{DIS = "Dipartimento di Informatica e Sistemistica, Universit{\`a} di Roma ``La Sapienza''"} @Techrep{Rosa99g, author = {Rosati, Riccardo}, title = {On the decidability and complexity of reasoning about only knowing}, institution = DIS, number = {14.99}, year = {1999} , }