## 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