Annals of Pure and Applied Logic 162 (2010) 237–242

                          Contents lists available at ScienceDirect

                      Annals of Pure and Applied Logic
                        journal homepage: www.elsevier.com/locate/apal


Cut-free formulations for a quantified logic of here and there
Grigori Mints
Department of Philosophy, Stanford University, Stanford, CA 94305, USA

article       info              abstract
Article history:                  A predicate extension SQHT ...