A logic of action, causality, and the temporal relations of events
Richard B. Scherl, G. Shafer · 2002
Proposes a logic of action and causality, called /spl Cscr//spl Ascr//spl Lscr/ (Causality and Action Logic). The most important part of our contribution is a semantics that integrates action, temporal structure and probability. The semantics is based on a mathematical structure called an event space. This space is inhabited by situations or instantaneous events with binary relations over them. The temporal relations within an event space include several relations that different authors have labeled "cause". Our language does not single out any one of them under this name and therefore avoids any appearance of reliance on some mysterious relation of causality that goes beyond the facts about the world and about how its evolution is best predicted.