Expressivity in chain-based modal logics |
| |
| Authors: | Michel Marti George Metcalfe |
| |
| Institution: | 1.Institute of Computer Science,University of Bern,Bern,Switzerland;2.Mathematical Institute,University of Bern,Bern,Switzerland |
| |
| Abstract: | We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct. Necessary and sufficient algebraic conditions for admitting a suitable Hennessy–Milner property are established for classes of image-finite and (appropriately defined) modally saturated models. Full characterizations are obtained for many-valued modal logics based on complete BL-chains that are finite or have the real unit interval 0, 1] as a lattice reduct, including ?ukasiewicz, Gödel, and product modal logics. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
