Boolos did Frege’s theorem, Quine did New Foundations, among other things, Kripke our standard modal-logic semantics… I don’t how useful they are, but they’re definitely logic.
Boolos did Frege’s theorem, Quine did New Foundations, among other things, Kripke our standard modal-logic semantics… I don’t how useful they are, but they’re definitely logic.