PLTL: propositional linear time logic

Syntax:

Beispiele: $ \Diamond$(pq), $ \Box$$ \Diamond$p, $ \Diamond$$ \Box$p


Semantik: Wert der Formel F in Struktur K zur Zeit s:

Übung: $ \Diamond$$ \Box$φ$ \Box$$ \Diamond$φ ist allgemeingülitg (gilt in jeder Struktur), ...aber die Umkehrung nicht


Johannes Waldmann 2013-02-01