Metcalfe, George; Marti, Michel (2014). A HennessyMilner Property for ManyValued Modal Logics. In: Goré, Rajeev; Kooi, Barteld; Kurucz, Agi (eds.) Advances in Modal Logic. Advances in Modal Logic: Vol. 10 (pp. 407420). London: College Publications

Text
MarMetAiML_final.pdf  Accepted Version Available under License BORIS Standard License. Download (368kB)  Preview 
A HennessyMilner property, relating modal equivalence and bisimulations, is defined for manyvalued modal logics that combine a local semantics based on a complete MTLchain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of imagefinite models of these logics to admit the HennessyMilner property. Complete characterizations are obtained in the case of manyvalued modal logics based on BLchains (divisible MTLchains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.
Item Type:  Book Section (Book Chapter) 

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:  Metcalfe, George and Marti, Michel 
Subjects:  000 Computer science, knowledge & systems 500 Science > 510 Mathematics 
ISBN:  9781848901513 
Series:  Advances in Modal Logic 
Publisher:  College Publications 
Language:  English 
Submitter:  George Metcalfe 
Date Deposited:  11 Nov 2014 08:52 
Last Modified:  24 Feb 2015 12:09 
BORIS DOI:  10.7892/boris.59756 
URI:  http://boris.unibe.ch/id/eprint/59756 