A possible world semantics for standard modal languages is presented, where the valuation functions are allowed to be partial, the truth-functional connectives are interpreted according to weak Kleene matrices, and the necessity operator is given a "weak" interpretation. Completeness and incompleteness results for some (axiomatic) systems are then established. Extensions of these modal logics in which figure "statability" operators are also examined.
展开▼
