The logic of here-and-there and answer set programming

Grigori Mints

Dept. of Philosophy and CSLI
Stanford University

Thursday, 11 December 2008, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: A predicate extension SQHT of the logic of here-and-there had been introduced by V. Lifschitz, D. Pearce and A. Valverde to characterize the notion of strong equivalence of logic programs with variables and equality with respect to stable models. We give a cut free formulation for the predicate logic of here-and-there and define existence in terms of the remaining connectives.

Tarmo Uustalu
Last update 11.11.2008