Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)

Joseph Y. Halpern

Theoretical Aspects of Reasoning About Knowledge: An In-Depth Introduction The book 'Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)' represents a seminal contribution to the field of epistemic logic and its applications. This