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