Translator Disclaimer
2008 A Note on the Logic of Eventual Permanence for Linear Time
Rohan French
Notre Dame J. Formal Logic 49(2): 137-142 (2008). DOI: 10.1215/00294527-2008-003

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

Download 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

Published: 2008
First available in Project Euclid: 15 May 2008

zbMATH: 1156.03018
MathSciNet: MR2402037
Digital Object Identifier: 10.1215/00294527-2008-003

Subjects:
Primary: 03B44
Secondary: 14E25

Rights: Copyright © 2008 University of Notre Dame

JOURNAL ARTICLE
6 PAGES


SHARE
Vol.49 • No. 2 • 2008
Back to Top