Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi
Intentionality, Sense and the Mind
Problems of the Logic of Scientific Knowledge (Synthese Library, 25)
Topics in Conditional Logic
Deontic Logic: Introductory and Systematic Readings
Metaphysics and Belief
Definitions and Definability: Philosophical Perspectives
Cardinal Functions on Boolean Algebras (Lectures in Mathematics. ETH Zürich)
Self-Improving Teaching Systems: An Application of Artificial Intelligence to Computer Assisted Instruction (Interdisciplinary Systems Research)
A Flexible Efficient Computer System to Answer Human Questions: The DL*-Programming Language for Artificial Intelligence Applications (Interdisziplinäre Forschung)
