Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/11086
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Nomikos, C. | en |
dc.contributor.author | Eleftheriou. P | en |
dc.contributor.author | Koutras, C. D. | en |
dc.date.accessioned | 2015-11-24T17:02:42Z | - |
dc.date.available | 2015-11-24T17:02:42Z | - |
dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/11086 | - |
dc.rights | Default Licence | - |
dc.title | Notions of Bisimulation for Heyting-Valued Modal Languages | en |
heal.type | journalArticle | - |
heal.type.en | Journal article | en |
heal.type.el | Άρθρο Περιοδικού | el |
heal.language | en | - |
heal.access | campus | - |
heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
heal.publicationDate | 2012 | - |
heal.abstract | We examine the notion of bisimulation and its rami?cations, in the context of the family of Heyting-valued modal languages introduced by M. Fitting. Each modal language in this family is built on an underlying space of truth values, a Heyting algebra H. All the truth values are directly represented in the language, which is interpreted on relational frames with an H-valued accessibility relation. We de?ne two notions of bisimulation that allow us to obtain truth invariance results. We provide game semantics and, for the more interesting and complicated notion, we are able to provide characteristic formulae and prove a Hennessy- Milner type theorem. If the underlying algebra H is ?nite, Heyting-valued modal models can be equivalently reformulated to a form relevant to epistemic situations with many interrelated experts. Our de?nitions and results draw inspiration from this formulation, which is of independent interest to Knowledge Representation applications. | en |
heal.journalName | Journal of Logic and Computation | en |
heal.journalType | peer reviewed | - |
heal.fullTextAvailability | TRUE | - |
Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
nomikos-2012-Notions of Bisimulation for Heyting-Valued Modal.pdf | 265.54 kB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License