1. Event causation: The counterfactual analysis;Bennet,1993
2. How to do things with worlds: on formalizing actions and plans;Brewka;J. Logic Comput.,1993
3. On first-order conditional logics;Delgrande;Artificial Intelligence,1998
4. Encoding solutions of the frame problem in dynamic logic;Foo,2001
5. Dealing with the ramification Problem in extended Propositional Dynamic logic;Foo,2002