Combining equilibrium logic and dynamic logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Combining equilibrium logic and dynamic logic

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01228754 , version 1

Citer

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⟩
121 Consultations
156 Téléchargements

Partager

More