Topological Nexttime Logic

Bernhard Heinemann. Topological Nexttime Logic. In Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, editors, Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996. pages 99-112, CSLI Publications, 1996.

Abstract

Abstract is missing.