Actuality and quantification

Abstract

A natural deduction system of quantified modal logic (S5) with an actuality operator and “rigid” quantifiers (ranging, at every world, over the domain of the actual world) is described and proved to be complete. Its motivation and relation to other systems are discussed. © 1990, Duke University Press. All Rights Reserved.