Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.

Vann McGee; XIII*—Two Problems with Tarski's Theory of Consequence, Proceedings of the Aristotelian Society, Volume 92, Issue 1, 1 June 1992, Pages 273–292, htt.

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)