Nominal tense logic and other sorted intensional frameworks

Patrick Rowan Blackburn. Nominal tense logic and other sorted intensional frameworks. PhD thesis, University of Edinburgh, UK, 1990. [doi]

Abstract

Abstract is missing.