Temporal Aspects of the Modal Logic of Subset Spaces

Bernhard Heinemann. Temporal Aspects of the Modal Logic of Subset Spaces. Theoretical Computer Science, 224(1-2):135-155, 1999. [doi]

Abstract

Abstract is missing.