Mikhail SoutchanskiE-mailmes@scs.ryerson.ca List of Articles: Ponomaryov D. Soutchanski M. Component properties of forgetting and progression in the situation calculus // Computer Science. — 2012 . — # 34. — P. 105-133