Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: syntax of mv-CTL*

Sortuj według:

Ogranicz wyniki do:

On Designated Values in Multi-Valued CTLS* Model Checking

Konikowska B., Penczek W.

Fundamenta Informaticae

2004

Vol. 60, nr 1-4

211--224

A multi-valued version of CTLS* (mv-CTLS*), 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-CTLS* to CTLS* model checking problem for designated values. Bisimulation induced by mv-CTLS* is characterized.