- Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic
- Handbook of Philosophical Logic, Volume 2
- Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
- Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence)
- Many-Dimensional Modal Logics: Theory and Applications, Volume 148 (Studies in Logic and the Foundations of Mathematics)