Positive modal logic |
| |
Authors: | J. Michael Dunn |
| |
Affiliation: | 1. Department of Philosophy, Indiana University, Sycamore Hall 028, 47405, Bloomington, IN, USA
|
| |
Abstract: | We give a set of postulates for the minimal normal modal logicK+ without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are
|
|