structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K

[modern simple version, on which others build]

2 ideas
Normal system K has five axioms and rules [Cresswell]
The system K has no accessibility conditions [Fitting/Mendelsohn]