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

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / e. System K4

[version imposing one condition on accessibility]

1 idea
9746 The system K4 has the 'transitive' condition on its accessibility relation [Fitting/Mendelsohn]