A Complete First-Order Logic of Knowledge and Time

Francesco Belardinelli, Alessio Lomuscio. A Complete First-Order Logic of Knowledge and Time. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 705-714, AAAI Press, 2008.

Abstract

Abstract is missing.