Reasoning About Knowledge in Artificial Intelligence.

Robert C. Moore

Browse the full TARK paper archive.