Temporal expressive completeness in the presence of gaps

Dov M. Gabbay, Ian M. Hodkinson, Mark Reynolds

Research output: Chapter in Book/Conference paperConference paper

Original languageEnglish
Title of host publicationLogic Colloquium '90, Proceedings ASL European Meeting 1990, Helsinki
Pages89-121
Publication statusPublished - 1993

Cite this