Lars Karlsson: Planning, truth criteria, and the systematic approach to action and change. Accepted for ISMIS conference 1996.