Paulo T. Guerra, Renata Wassermann. Belief Revision on Computation Tree Logic. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 2810-2811, IJCAI/AAAI, 2011. [doi]
Abstract is missing.