Contingency-based equilibrium logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Contingency-based equilibrium logic

Résumé

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).

Dates et versions

hal-03464952 , version 1 (03-12-2021)

Identifiants

Citer

Luis Fariñas del Cerro, Andreas Herzig. Contingency-based equilibrium logic. 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), May 2011, Vancouver, Canada. pp.223-228, ⟨10.1007/978-3-642-20895-9_23⟩. ⟨hal-03464952⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

More