|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 21 of 27 found articles
| Title: |
On Designated Values in Multi-valued CTL^* Model Checking |
| Author: |
Beata Konikowka Wojciech Penczek |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 60 (2004) nr. 1-4 pages 211-224 |
| Year: |
2004-09-10 |
| Contents: |
A multi-valued version of CTL^* (mv-CTL^*), where both the propositions and the accessibility relation are multi-valued, taking values in a complete lattice with a complement, is considered. Contrary to all the existing model checking results for multi-valued modal logics, our lattices are not required to be finite. A set of restrictions is provided under which there is a direct translation from mv-CTL^* to CTL^* model checking problem for designated values. Bisimulation induced by mv-CTL^* is characterized. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 21 of 27 found articles
| << previous | next >> |