Logic — math, philosophy & computational aspects

logic, math, philosophy, math games, math help, mathematical logic, philosophy of education, math facts

Quantitative Tense Logic?

I am looking for works on quantitative tense logic (used to formalize
statements like "five minutes ago it was the case that …".) Burges (Basic
Tense Logic, in: Handbook of Philosophical Logic vol. II) reported that some
works have been done, but gave no references. Can anyone help? Many thanks.

Ho Ngoc Duc ********************************************************
Uni: Leipzig, Inst. f. Logik & Wiss.theorie, PF 920, D-04009 Leipzig
URL:    http://www.informatik.uni-leipzig.de/privat2/duc/www.html
E-mail: d…@informatik.uni-leipzig.de

No Comments




Place your comment

You must be logged in to post a comment.