Nominal tense logic and other sorted intensional frameworks.
Contributors: University of Edinburgh.
Published: 1990
Language: eng
Notes: Thesis (Ph.D.)- University of Edinburgh, 1990.