Theoretical Aspects of Reasoning About Knowledgeby Joseph Y. HalpernTheory of KnowledgeCongressesSymbolic and mathematical LogicArtificial intelligenceReasoningWriting a summary for young readers…For young readersBook data: Open Library