Strong equivalence of logic programs is an important concept in the theory of answer set programming. Equilibrium logic was used to show that propositional formulas are strongly equivalent if and only if they are equivalent in the logic of here-and-there. We extend equilibrium logic to formulas with infinitely long conjunctions and dis- junctions, define and axiomatize an infinitary counterpart to the logic of here-and-there, and show that the theorem on strong equivalence holds in the infinitary case as well.

PDF

In Logic Programming and Nonmonotonic Reasoning, 13th International Conference (LPNMR), Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (Eds.) 2015.

@inproceedings{harrison:lpnmr15, title={Infinitary Equilibrium Logic and Strong Equivalence}, author={ Amelia Harrison and Vladimir Lifschitz and David Pearce and Agustin Valverde}, booktitle={Logic Programming and Nonmonotonic Reasoning, 13th International Conference (LPNMR)}, editor={Francesco Calimeri and Giovambattista Ianni and Miroslaw Truszczynski}, url="http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=127517", year={2015} }