Abstract
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
Citation
Rohan French. "A Note on the Logic of Eventual Permanence for Linear Time." Notre Dame J. Formal Logic 49 (2) 137 - 142, 2008. https://doi.org/10.1215/00294527-2008-003
Information