|
|||||
|
|
The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum |
|
| Authors: | M. M. Izmailov |
| Affiliation: | 1.Faculty of Mechanics and Mathematics,Moscow State University,Leninskie Gory, Moscow,Russia |
| Abstract: | A continuum of different logics over S5⋇S5 is constructed. This proves that the cardinality of the lattice of all normal extensions of the logic of two equivalence relations Ext(S5⋇S5) is continuum. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |