Notions of Bisimulation for Heyting-Valued Modal Languages
| 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.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.access | campus | - |
| heal.fullTextAvailability | TRUE | - |
| heal.journalName | Journal of Logic and Computation | en |
| heal.journalType | peer reviewed | - |
| heal.language | en | - |
| heal.publicationDate | 2012 | - |
| heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
| heal.type | journalArticle | - |
| heal.type.el | Άρθρο Περιοδικού | el |
| heal.type.en | Journal article | en |
Αρχεία
Φάκελος/Πακέτο αδειών
1 - 1 of 1
Φόρτωση...
- Ονομα:
- license.txt
- Μέγεθος:
- 1.74 KB
- Μορφότυπο:
- Item-specific license agreed upon to submission
- Περιγραφή: