Advances in Temporal Logic
Preview
A Model Checking Algorithm for T-Calculus Agents Stefania Gnesi Istituto di
Elaborazione dell'Informazione - C.N.R., Pisa Gioia Ristori Dipartimento di
Informatica, Università di Pisa Abstract. This paper presents T-logic, an action-
based logic ...