Logic and Foundations
Nonstandard Logics and Extensions
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.
Copyright © 1998-2013 AOL Inc.
Last update: Sunday, October 16, 2011 6:35:07 AM EDT -