Reduction of second-order logic to modal logic

Authors


Ancillary