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.