%0 Journal Article %A Shehtman, Valentin %D 2001 %I Springer Netherlands %J Journal of Logic, Language and Information %N 3 %P 403-405 %T First-order modal logic, M. fitting and R.l. Mendelsohn %V 10