First Page | Document Content | |
---|---|---|
![]() Date: 2014-06-27 10:56:07Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic | Add to Reading List |