Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a …
Aristotle's modal syllogistic has been an object of study ever since the time of Theophrastus; but these studies (apart from …
