more from this thinker | more from this text
Full Idea
The system T has the 'reflexive' condition imposed on its accessibility relation - that is, every world must be accessible to itself.
Gist of Idea
The system T has the 'reflexive' conditon imposed on its accessibility relation
Source
M Fitting/R Mendelsohn (First-Order Modal Logic [1998], 1.8)
Book Ref
Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.19
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] |