Joseph Y. HalpernBooksHandbook of Epistemic LogicActual CausalityTheoretical aspects of reasoning about knowledgeReasoning about UncertaintyTheoretical Aspects of Reasoning About KnowledgeAuthor data: Open Library