Combining equilibrium logic and dynamic logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Combining equilibrium logic and dynamic logic


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.
Fichier principal
Vignette du fichier
farinas_12615.pdf (266.23 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01228754 , version 1 (13-11-2015)


  • 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⟩
109 View
138 Download


Gmail Mastodon Facebook X LinkedIn More