Open Access
2006 Worlds and Times
Ulrich Meyer
Notre Dame J. Formal Logic 47(1): 25-37 (2006). DOI: 10.1305/ndjfl/1143468309


There 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.


Download Citation

Ulrich Meyer. "Worlds and Times." Notre Dame J. Formal Logic 47 (1) 25 - 37, 2006.


Published: 2006
First available in Project Euclid: 27 March 2006

zbMATH: 1107.03014
MathSciNet: MR2211180
Digital Object Identifier: 10.1305/ndjfl/1143468309

Primary: 03B44 , 03B45
Secondary: 03C80

Keywords: actualism , actuality operator , modal logic , possible worlds , presentism , tense logic , times

Rights: Copyright © 2006 University of Notre Dame

Vol.47 • No. 1 • 2006
Back to Top