- Ren-June Wang:
Knowledge, Time, and Logical Omniscience. WoLLIC 2009: 394-407 - Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Lecture Notes in Computer Science 5514, Springer 2009, ISBN 978-3-642-02260-9 [contents]