Johan van Benthem Giovanna D'Agostino Angelo Montanari Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - I. 251-265 1997 7 J. Log. Comput. 2 db/journals/logcom/logcom7.html#BenthemDMP97