Hyperproof: An Excursion in Situated Logic

Jon Barwise. Hyperproof: An Excursion in Situated Logic. In NACLP. pages 779-787, 1990.

Abstract

Abstract is missing.