A Note on the Logic of Eventual Permanence for Linear Time
French, Rohan
Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, p. 137-142 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In a paper from the 1980s, Byrd claims that the logic of "eventual permanence" for linear time is KD5. In this note we take up Byrd's novel argument for this and, treating the problem as one concerning translational embeddings, show that rather than KD5 the correct logic of "eventual permanence" is KD45
Publié le : 2008-04-15
Classification:  eventual permanence,  translational embedding,  tense logic,  03B44,  14E25 
@article{1210859923,
     author = {French, Rohan},
     title = {A Note on the Logic of Eventual Permanence for Linear Time},
     journal = {Notre Dame J. Formal Logic},
     volume = {49},
     number = {1},
     year = {2008},
     pages = { 137-142},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1210859923}
}

French, Rohan. A Note on the Logic of Eventual Permanence for Linear Time. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp.  137-142. http://gdmltest.u-ga.fr/item/1210859923/