A Note on the Logic of Eventual Permanence for Linear Time
Rohan French
Source: Notre Dame J. Formal Logic Volume 49, Number 2
(2008), 137-142.
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
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1210859923
Digital Object Identifier: doi:10.1215/00294527-2008-003
Mathematical Reviews number (MathSciNet): MR2402037
Zentralblatt MATH identifier: 1156.03018
References
[1] Byrd, M., "Eventual permanence", Notre Dame Journal of Formal Logic, vol. 21 (1980), pp. 591--601.
Mathematical Reviews (MathSciNet): MR582562
Zentralblatt MATH: 0426.03019
Digital Object Identifier: doi:10.1305/ndjfl/1093883183
Project Euclid: euclid.ndjfl/1093883183
[2] Humberstone, L., "Weaker-to-stronger translational embeddings in modal logic", pp. 279--97 in Advances in Modal Logic, Vol. 6, edited by G. Governatori, I. M. Hodkinson, and Y. Venema, College Publications, London, 2006.
Mathematical Reviews (MathSciNet): MR2376388
[3] Rescher, N., and A. Urquhart, Temporal Logic, vol. 3 of Library of Exact Philosophy, Springer-Verlag, New York, 1971.
Mathematical Reviews (MathSciNet): MR0337498
Zentralblatt MATH: 0229.02027
[4] Segerberg, K., An Essay in Classical Modal Logic. Vols. 1, 2, 3, vol. 13 of Filosofiska Studier, Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet, Uppsala, 1971.
Mathematical Reviews (MathSciNet): MR0339999
Zentralblatt MATH: 0311.02028
Notre Dame Journal of Formal Logic
