- Bart Vergauwen, Johan Lewi, I. Avau, A. Poté:
Efficient Computation of Nested Fix-Points, with Applications to Model Checking. ICTL 1994: 165-179 - Michael J. Wooldridge, Michael Fisher:
A Decision Procedure for a Temporal Belief Logic. ICTL 1994: 317-331 - Ming Xu:
Decidability of Deliberative Stit Theories with Multiple Agents. ICTL 1994: 332-348 - Dov M. Gabbay, Hans Jürgen Ohlbach:
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 827, Springer 1994, ISBN 3-540-58241-X [contents]