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. © 2013 Springer-Verlag.
CITATION STYLE
Del Cerro, L. F., Herzig, A., & Su, E. I. (2013). Combining equilibrium logic and dynamic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8148 LNAI, pp. 304–316). https://doi.org/10.1007/978-3-642-40564-8_30
Mendeley helps you to discover research relevant for your work.