Skip to Main content Skip to Navigation
Conference papers

Combining equilibrium logic and dynamic logic

Abstract : We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamic logic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic: we prove that the problem of logical consequence in equilibrium models is EXPTIME complete by relating equilibrium logic to dynamic logic of propositional assignments.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Friday, November 13, 2015 - 4:52:05 PM
Last modification on : Wednesday, June 1, 2022 - 5:07:22 AM
Long-term archiving on: : Sunday, February 14, 2016 - 2:15:44 PM


Files produced by the author(s)


  • HAL Id : hal-01228754, version 1
  • OATAO : 12615


Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. Combining equilibrium logic and dynamic logic. 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Sep 2013, Corunna, Spain. pp. 304-316. ⟨hal-01228754⟩



Record views


Files downloads