|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 7 gevonden artikelen
| Titel: |
Quantitative Analysis of Lattice-valued Kripke Structures |
| Auteur: |
Pan, Haiyu Zhang, Min Wu, Hengyang Chen, Yixiang |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 135 (2014) nr. 3 pagina's 269-293 |
| Jaar: |
2014-11-24 |
| Inhoud: |
To model and analyze systems with multi-valued information, in this paper, we present an extension of Kripke structures in the framework of complete residuted lattices, which we will refer to as lattice-valued Kripke structures (LKSs). We then show how the traditional trace containment and equivalence relations, can be lifted to the lattice-valued setting, and we introduce two families of lattice-valued versions of the relations. Further, we explore some interesting properties of these relations. Finally, we provide logical characterizations of our relations by a natural extension of linear temporal logic. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 7 gevonden artikelen
| << vorige | volgende >> |