- Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
- Principles of Bone Biology
- 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)
- Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics (Synthese Library)