Model-theoretical foundation of action and progression

[1]  Y. Shoham.  Agent-Oriented Programming , 1992, Artif. Intell..

[2]  Jörg Flum,et al.  Mathematical logic , 1985, Undergraduate texts in mathematics.