A Hennessy-Milner Property for Many-Valued Modal Logics
| Contribuinte(s) |
Goré, Rajeev Kooi, Barteld Kurucz, Agi |
|---|---|
| Data(s) |
01/08/2014
|
| Resumo |
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics. |
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/59756/1/MarMetAiML_final.pdf Metcalfe, George; Marti, Michel (2014). A Hennessy-Milner Property for Many-Valued Modal Logics. In: Goré, Rajeev; Kooi, Barteld; Kurucz, Agi (eds.) Advances in Modal Logic. Advances in Modal Logic: Vol. 10 (pp. 407-420). London: College Publications doi:10.7892/boris.59756 urn:isbn:978-1-84890-151-3 |
| Idioma(s) |
eng |
| Publicador |
College Publications |
| Relação |
http://boris.unibe.ch/59756/ http://aiml.net/volumes/volume10/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Metcalfe, George; Marti, Michel (2014). A Hennessy-Milner Property for Many-Valued Modal Logics. In: Goré, Rajeev; Kooi, Barteld; Kurucz, Agi (eds.) Advances in Modal Logic. Advances in Modal Logic: Vol. 10 (pp. 407-420). London: College Publications |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/publishedVersion PeerReviewed |
