Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
Aspects of Modern Logic (Synthese Library, 32)
Models for Modalities: Selected Essays (Synthese Library, 23)
Temporal Modalities in Arabic Logic
Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi
Model Logic With Descriptions (Nijhoff International Philosophy Series, 10)
Analyses of Aristotle
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
Modalities and Multimodalities