Melvin Fitting V. Wiktor Marek Miroslaw Truszczynski The Pure Logic of Necessitation. 349-373 1992 2 J. Log. Comput. 3 db/journals/logcom/logcom2.html#FittingMT92