Positive modal logic


o~ A nO h O(~ ^ 0) a(~ v 0) e a~ v O0. It is shown that K+ is complete with respect to the usual Kripke-style semantics. The proof is by way of a Henkin-style construction, with "possible worlds" being taken to be prime theories. The construction has the somewhat unusual feature of using at an intermediate stage disjoint pairs consisting of a theory and a… (More)
DOI: 10.1007/BF01061239


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics