Notions of Bisimulation for Heyting-Valued Modal Languages
Φόρτωση...
Ημερομηνία
Συγγραφείς
Nomikos, C.
Eleftheriou. P
Koutras, C. D.
Τίτλος Εφημερίδας
Περιοδικό ISSN
Τίτλος τόμου
Εκδότης
Περίληψη
Τύπος
Είδος δημοσίευσης σε συνέδριο
Είδος περιοδικού
peer reviewed
Είδος εκπαιδευτικού υλικού
Όνομα συνεδρίου
Όνομα περιοδικού
Journal of Logic and Computation
Όνομα βιβλίου
Σειρά βιβλίου
Έκδοση βιβλίου
Συμπληρωματικός/δευτερεύων τίτλος
Περιγραφή
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
Εκδίδον τμήμα/τομέας
Όνομα επιβλέποντος
Εξεταστική επιτροπή
Γενική Περιγραφή / Σχόλια
Ίδρυμα και Σχολή/Τμήμα του υποβάλλοντος
Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής