Transition Logic Revisited

A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn logic. This is achieved by defining a deductive relationship ⊢(T,≤) among formulas for a partially ordered set (T,≤) of transitions. This novel integration might form the core for a unified framework for practical reasonin...