In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.),
Advances in Modal Logic. CSLI Publications. pp. 73-90 (
1998)
Copy
BIBTEX
Abstract
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.