Norman Y. Foo, Dongmo Zhang. Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 173-191, World Scientific, 2000.
Abstract is missing.