Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.

Norman Y. Foo, Dongmo Zhang

Browse the full AiML paper archive.