Reasoning about Knowledge on Computation Trees

Konstantinos Georgatos. Reasoning about Knowledge on Computation Trees. In Craig MacNish, David Pearce, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 94, York, UK, September 5-8, 1994, Proceedings. Volume 838 of Lecture Notes in Computer Science, pages 300-315, Springer, 1994.

Abstract

Abstract is missing.