On Quantified Modal Logic
Melvin Fitting · Fundamenta Informaticae · 1999
Propositional modal logic is a standard tool in many disciplines, but first-order modal logic is not. There are several reasons for this, including multiplicity of versions and inadequate syntax. In this paper we sketch a syntax and semantics for a n