Studia Logica 103 (3):599-622 (2015)

Authors
Edoardo Rivello
Università di Torino
Abstract
Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.
Keywords Revision theory  Revision sequences  Transfinite sequences  Axiom of Choice
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-014-9581-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,262
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
Notes on Naive Semantics.Hans G. Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
The Truth is Never Simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
Infinite Time Turing Machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

View all 13 references / Add more references

Citations of this work BETA

Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.

Add more citations

Similar books and articles

Vagueness and Revision Sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
On Revision Operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
General Random Sequences and Learnable Sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Relative Lawlessness in Intuitionistic Analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Choice Sequences and Informal Rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Subjective Probability Revision and Subsequent Decisions.Lee R. Beach & James A. Wise - 1969 - Journal of Experimental Psychology 81 (3):561.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Similarity Among Nucleotides Sequences.Feng Shi & Zhongxi Mo - 2002 - Acta Biotheoretica 50 (2):95-99.

Analytics

Added to PP index
2014-09-21

Total views
21 ( #518,150 of 2,455,764 )

Recent downloads (6 months)
4 ( #179,352 of 2,455,764 )

How can I increase my downloads?

Downloads

My notes