An almost general splitting theorem for modal logic |
| |
Authors: | Marcus Kracht |
| |
Institution: | (1) II. Mathematisches Institut, Arnimallee 3, 1000 Berlin 33, Germany |
| |
Abstract: | Given a normal (multi-)modal logic a characterization is given of the finitely presentable algebras A whose logics L
A split the lattice of normal extensions of . This is a substantial generalization of Rautenberg 10] and 11] in which is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok 2] that for all cycle-free and finite A
L
A splits the lattice of normal extensions of K. Although we firmly believe it to be true, we have not been able to prove that if a logic splits the lattice of extensions of then is the logic of an algebra finitely presentable over ; in this respect our result remains partial. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|