Encoding Solutions of the Frame Problem in Dynamic Logic.

Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo

Browse the full LPNMR paper archive.