A logician and philosopher, noted for his treatment of tense logic, a form of temporal logic.
Created on April 28, 2016 at 13:51:36. See the history of this page for a list of all contributions to it.