"The first book that provides a systematic and rigorous logical theory of causality"--

Alexander Bochman is Associate Professor in the Computer Science Department at Holon Institute of Technology in Holon, Israel.

Preface xi
I LOGICAL PROLEGOMENA
1 A Two-Tier System of Causal Reasoning 
2 Mereological Semantics for Classical Logic
3 Assumption-Based Nonmonotonic Reasoning
II THE BASICS
4 Causal Calculus
5 Structural Equation Models
6 Indeterminate Causation
III EXPLANATORY CAUSAL REASONING
7 Abduction 
8 Actual Causality
9 Relative Causality
IV DYNAMIC CAUSAL REASONING
10 Causal Dynamic Formalisms
11 Dynamic Markov Assumption
12 Dynamic Causal Calculus
Bibliography
Index