Johan van Benthem, Giovanna D Agostino, Angelo Montanari, Alberto Policriti. Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica, 60(2):387-420, 1998.
No references recorded for this publication.
No citations of this publication recorded.