Modal Deduction in Second-Order Logic and Set Theory - II

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.

Abstract

Abstract is missing.