Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
Problems of the Logic of Scientific Knowledge (Synthese Library, 25)
Modern Modalities Studies of the History of Modal Theories from Medieval Nominalism to Logical Positivism
Aspects of Modern Logic (Synthese Library, 32)
Ancient Logic and Its Modern Interpretations: Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972 (Synthese Historical Library, 9)
Deontic Logic: Introductory and Systematic Readings
Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi
Medieval Formal Logic Obligations, Insolubles and Consequences
Aristotle: A Collection of Critical Essays (Modern Studies in Philosophy Series)
Temporal Logic From Ancient Ideas to Artificial Intelligence