Lecture 8: Mix, match and use temporal logics

Revisit example valuation of CTL formula, now corrected. Further possible logics: Hennessy-Milner, modal μ-calculus, and monadic second-order logic. Presentation of syntax, semantics, and small examples. Relative expressiveness. Mixing and matching modalities and operators for convenience, distinct from expressiveness: CTL- as an example.

Application to specific biological models, as discussed in these articles: Fages and Rizk evaluating LTL formulae over time series data; de Jong et al. on mapping textual descriptions into CTL.

Link: Slides

One Response to Lecture 8: Mix, match and use temporal logics

  1. ianstark says:

    We have comment spam! How flattering. I’ve deleted the self-promoting URL though.