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

16960

If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett]

14669

For metaphysics, T may be the only correct system of modal logic [Salmon,N]

9744	The system T has the 'reflexive' conditon imposed on its accessibility relation [Fitting/Mendelsohn]

14607

T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J]