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.

This entry was posted on Saturday, February 6th, 2010 at 15:34 and is filed under Lecture Log. You can follow any responses to this entry through the RSS 2.0 feed.
Both comments and pings are currently closed.

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

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