- Conditionals and Modularity in General Logics
- Logical Tools for Handling Change in Agent-Based Systems
- A New Perspective on Nonmonotonic Logics
- Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
- Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties