Nils Bulling, Berndt Farwer. Expressing Properties of Resource-Bounded Systems: The Logics RTL:::*::: and RTL. In Jürgen Dix, Michael Fisher, Peter Novák, editors, Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Volume 6214 of Lecture Notes in Computer Science, pages 22-45, Springer, 2009. [doi]
Abstract is missing.