Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California - Benthem, Johan Van (Morgan Kaufmann, 2001)
Selected papers presented to the 8rd Conference on the Theoretical Aspects of Reasoning about Knowledge.