Janusz Czelakowski Elements of Formal Action Theory. 3-62 1996 Logic, Action, and Information db/conf/lai/lai1996.html#Czelakowski96