Font Size:
Logics of Contingency
Last modified: 2011-03-20
Abstract
We introduce the logic of positive and negative contingency. Together with modal operators of necessity and impossibility they allow to dispense of negation. We study classes of Kripke models where the number of points is restricted, and show that the modalities reduce in the corresponding logics.
Full Text:
PDF