A Note on the Model Theory for PositiveModal Logic

SERGIO ARTURO CELANI AND RAMON JANSANA

FUNDAMENTA INFORMATICAE

IOS PRESS

Año: 2012 vol. 114 p. 31 - 54

0169-2968

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.