On the decidability and complexity of reasoning about only knowing

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

 

Bibtex entry:

@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} ,
}