In Modal Logic and other non-classical logics he showed how to establish the completeness results by adapting the method of maximal consistent set.
In Modal Logic and other non-classical logics. He showed how to establish the completeness results by adapting the method of maximal consistent set.