Temporal Logic
plato.stanford.eduThe Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.
The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.