A Note on the Model Theory for Positive Modal Logic

摘要

The minimum system of Positive Modal Logic S_k+ is the (∧, ∨, □, ◇, ⊥, ⊥)-fragment of the minimum normal modal logic K with local consequence. In this paper we develop some of the model theory for S_K+ along the yet standard lines of the model theory for classical normal modal 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 characteri zation of the first-order formulas invariant for positive bisimulations, and two definability theorems by positive modal sequents for classes of pointed models.