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

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T

[version imposing one condition on accessibility]

4 ideas
If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett]
For metaphysics, T may be the only correct system of modal logic [Salmon,N]
The system T has the 'reflexive' conditon imposed on its accessibility relation [Fitting/Mendelsohn]
T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J]