Open Directory - Science:Math:Logic and Foundations:Nonstandard Logics and Extensions:Temporal Logic


home \| feedback

Top: Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions: Temporal_Logic

Temporal logic is a form of modal logic in which the modal operators are used to denote the truth of a statement in the future or past. Application areas include linguistics and computer science, in particular program verification.

Open Directory Reference: Time