Ideas from 'A Completeness Theorem in Modal Logic' by Saul A. Kripke [1959], by Theme Structure

Click on the Idea Number for the full details    |     back to texts     |     expand this idea


4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Propositional modal logic has been proved to be complete