Worlds and Times
Meyer, Ulrich
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 25-37 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2006-01-14
Classification:  tense logic,  modal logic,  times,  possible worlds,  actuality operator,  presentism,  actualism,  03B44,  03B45,  03C80 
@article{1143468309,
     author = {Meyer, Ulrich},
     title = {Worlds and Times},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 25-37},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1143468309}
}

Meyer, Ulrich. Worlds and Times. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  25-37. http://gdmltest.u-ga.fr/item/1143468309/