Sciweavers

IGPL
2008
103views more  IGPL 2008»
14 years 15 days ago
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 l...
Wolfgang Bibel