Modal Logics Between Propositional and First-order

Melvin Fitting. Modal Logics Between Propositional and First-order. Journal of Logic and Computation, 12(6):1017-1026, 2002. [doi]

Abstract

Abstract is missing.