Normal Modal Logics Determined by Aligned Clusters |
| |
| Authors: | Zofia Kostrzycka Yutaka Miyazaki |
| |
| Affiliation: | 1.Opole University of Technology,Opole,Poland;2.Osaka University of Economics and Law,Osaka,Japan |
| |
| Abstract: | We consider the family of logics from NExt(KTB) which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
