On Quantified Modal Logic

Melvin Fitting. On Quantified Modal Logic. Fundamenta Informaticae, 39(1-2):105-121, 1999.

Abstract

Abstract is missing.