AAAI Publications, 2011 AAAI Spring Symposium Series

Font Size: 
Logics of Contingency
Luis Fariñas del Cerro, Andreas Herzig

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