Contingency-Based Equilibrium Logic
We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available. Our language is just as expressive as the standard language of equilibrium logic (that is based on conjunction and intuitionistic implication).
Unable to display preview. Download preview PDF.
- 4.Fariñas del Cerro, L., Herzig, A.: Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional. In: Baader, F., Schulz, K.U. (eds.) Frontiers in Combining Systems. Applied Logic Series, vol. 3, pp. 93–102. Kluwer Academic Publishers, Dordrecht (1996)CrossRefGoogle Scholar