- Logic for Artificial Intelligence and Information Technology (Texts in Computer Science)
- 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)