Shogo Suzuki. A Note on Kripke s Observation. In Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo, editors, New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings. Volume 4012 of Lecture Notes in Computer Science, pages 69-76, Springer, 2005. [doi]
Abstract is missing.