Lambda the Ultimate

The understanding of state is one of the oldest and newest areas of research. The Event Calculus provides a precise logical semantics of state and situation. There is an interesting survey paper at the bottom of the page with all the details: "Event Calculus in Classical Logic" . Also a previous discussion topic: Dynamic Semantics .