Temporal expressive completeness in the presence of gaps

Open Access

VOL. 2 | 1993 Temporal expressive completeness in the presence of gaps

D. M. Gabbay, I. M. Hodkinson, M. A. Reynolds

Editor(s) J. Oikkonen, J. Väänänen

Lecture Notes Logic, 1993: 89-121 (1993)

First Page PDF

CHAPTER
33 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Vol. 2 • 1 January 1993

Association for Symbolic Logic