Original language | English |
---|---|
Title of host publication | Logic Colloquium '90, Proceedings ASL European Meeting 1990, Helsinki |
Pages | 89-121 |
Publication status | Published - 1993 |
Temporal expressive completeness in the presence of gaps
Dov M. Gabbay, Ian M. Hodkinson, Mark Reynolds
Research output: Chapter in Book/Conference paper › Conference paper › peer-review