Cofinally Invariant Sequences and Revision

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

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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
2014-09-21

Downloads
26 (#443,558)

6 months
4 (#172,016)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edoardo Rivello
Università di Torino

Citations of this work

Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Designing Paradoxes: A Revision-theoretic Approach.Ming Hsiung - 2022 - Journal of Philosophical Logic 51 (4):739-789.

Add more citations

References found in this work

Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
Notes on Naive Semantics.Hans 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 Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

View all 13 references / Add more references