Melvin Fitting Modal Logics Between Propositional and First-order. 1017-1026 2002 12 J. Log. Comput. 6 http://dx.doi.org/10.1093/logcom/12.6.1017 db/journals/logcom/logcom12.html#Fitting02