From Myro,
[PDF]Time and Essence
"Very roughly, the formulas of System G are the familiar ones of the predicate- calculus with identity, but subjected to temporal qualification."
www3.interscience.wiley.com/journal/120154291/articletext?...
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment