Expressivity in chain-based modal logics

Marti, Michel; Metcalfe, George (2018). Expressivity in chain-based modal logics. Archive for mathematical logic, 57(3-4), pp. 361-380. Springer International 10.1007/s00153-017-0573-4

[img]
Preview
Text
mame17.pdf - Accepted Version
Available under License Publisher holds Copyright.

Download (322kB) | Preview

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.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Marti, Michel and Metcalfe, George

Subjects:

500 Science > 510 Mathematics
000 Computer science, knowledge & systems

ISSN:

0933-5846

Publisher:

Springer International

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

18 Aug 2017 08:42

Last Modified:

09 Jul 2018 02:30

Publisher DOI:

10.1007/s00153-017-0573-4

BORIS DOI:

10.7892/boris.102069

URI:

https://boris.unibe.ch/id/eprint/102069

Actions (login required)

Edit item Edit item
Provide Feedback