|
|||||
|
|
Independent propositional modal logics |
|
| Authors: | S K Thomason |
| Institution: | (1) Department of Mathematics, Simon Fraser University, V5A 1S6 Burnaby, B. C., Canada |
| Abstract: | We show that the join of two classical respectively, regular, normal] modal logics employing distinct modal operators is a conservative extension of each of them.This work was supported by the National Research Council of Canada and by the Polish Academy of Sciences. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |