Topic: GENERAL LOGIC
Worlds and Times
By Ulrich MeyerThere are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators. An important corollary of this result is that presentism cannot be the tense analogue of actualism.
Keywords: tense logic; modal logic; times; possible worlds; actuality operator; presentism; actualism
Published in The Notre Dame Journal of Formal Logic
An unpublished version may be downloaded from the Author's page