Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Fundamenta Informaticae

1 2012

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: modal logic bisimulations

Sortuj według:

Ogranicz wyniki do:

A Note on the Model Theory for PositiveModal Logic

100%

Celani S. , Jansana R.

tom Vol. 114, nr 1

31-54

The minimum system of Positive Modal Logic SK+ is the (...)-fragment of the minimum normal modal logic K with local consequence. In this paper we develop some of the model theory for SK+ along the yet standard lines of themodel theory for classical normalmodal logic. We define the notion of positive bisimulation between two models, and we study the notions of m-saturated models and replete models. We investigate the positive maximal Hennessy-Milner classes. Finally, we present a Keisler-Shelah type theorem for positive bisimulations, a characterization of the first-order formulas invariant for positive bisimulations, and two definability theorems by positive modal sequents for classes of pointed models.