@INBOOK{Mod+Temp-DedSys-92,
AUTHOR = {Andreas Nonnengart and Hans J\"urgen Ohlbach},
TITLE = {Modal- und Temporallogik},
CHAPTER = {VII},
PAGES = {239-284},
PUBLISHER = {Oldenbourg Verlag, M\"unchen, Wien},
YEAR = {1992},
NOTE = {In German},
ABSTRACT = {A short introduction into modal- and temporal logic.
This chapter is supposed to provide beginners with the basic notions of
modal and temporal logics, their syntax and semantics, frame topology and
correspondence theory.},
}