A logician and philosopher, noted for his treatment of tense logic, a form of temporal logic.
Last revised on December 22, 2024 at 17:28:33. See the history of this page for a list of all contributions to it.