<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-03-21 04:39:41Mathematical logic Logic in computer science Metalogic CTL* Computation tree logic Model theory Linear temporal logic Well-formed formula Kripke semantics Logic Temporal logic Mathematics |
