Equivalence
System |
Reflexivity |
Symmetry |
Transitivity |
T |
√ |
|
|
B |
√ |
√ |
|
S4 |
√ |
|
√ |
S5 |
(√) |
√ |
√ |
System |
Reflexivity |
Symmetry |
Transitivity |
T |
√ |
|
|
B |
√ |
√ |
|
S4 |
√ |
|
√ |
S5 |
(√) |
√ |
√ |