Ludwig-Maximilians-University, Munich, Institute of Computer Science
Department for Programming and Software Engineering
Model Theory of Temporal Logic
Part of this project is carried out as part of the
Graduiertenkolleg
on language, information, and logics.
The purpose of this project is to study fundamental problems of model theory
for different temporal logics. On the one hand, this concerns the transfer of
classical definitions and concepts studied in model theory such as substructures,
p-morphisms, ultrafilters, and ultraproducts to the area of temporal logics, with
the goal of deriving, say, completeness or Löwenheim-Skolem theorems.
On the other hand, issues such as stuttering invariance or non-standard semantics
that are more genuine to temporal logics and are often motivated by computer
science applications, raise interesting questions concerning the characterization
of models.
Contact persons:
Dr. Stephan Merz
Publications: A.Kurz: Sequence Frames. Proc. Verif. in New Orientation, Univ. Maribor, 1995.
list of all projects
Institute
University
(16.12.1996)