Logics of Contingency
Résumé
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. We finally discuss how this provides an alternative language for answer set programming.