Canonicity and Completeness Results for Many Valued Modal Logics
| dc.contributor.author | Nomikos, C. | en |
| dc.contributor.author | Koutras, C. D. | en |
| dc.contributor.author | Peppas, P. | en |
| dc.date.accessioned | 2015-11-24T17:00:18Z | |
| dc.date.available | 2015-11-24T17:00:18Z | |
| dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/10742 | |
| dc.rights | Default Licence | - |
| dc.title | Canonicity and Completeness Results for Many Valued Modal Logics | en |
| heal.abstract | We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the under- lying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, re°exivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra | en |
| heal.access | campus | - |
| heal.fullTextAvailability | TRUE | - |
| heal.journalName | Journal of Applied Non Classical Logics | en |
| heal.journalType | peer reviewed | - |
| heal.language | en | - |
| heal.publicationDate | 2002 | - |
| 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
- Περιγραφή: