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-2014 AOL Inc.
Last update: Friday, October 17, 2014 11:24:04 AM EDT -