In Modal Logic and other non-classical logics he showed how to establish the completeness results by adapting the method of maximal consistent set.
He showed how to establish the completeness results by adapting the method of maximal consistent set. In Modal Logic and other non-classical logics.
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.