A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference.In this book, Alexander Bochman presents a general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference, basing it on a supposition that causal reasoning is not a competitor of logical reasoning but its complement for situations lacking logically sufficient data or knowledgeBochman also explores the relationship of this theory with the popular structural equation approach to causality proposed by Judea Pearl and explores several applications ranging from artificial intelligence to legal theory, including abduction, counterfactuals, actual and proximate causality, dynamic causal models, and reasoning about action and change in artificial intelligence.            As logical preparation, before introducing causal concepts, Bochman describes an alternative, situation-based semantics for classical logic that provides a better understanding of w