Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 (independently) 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
Cofinally invariant sequences and revision
Rivello E
2015-01-01
Abstract
Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 (independently) 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 resultsFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Cofinally invariant sequences (29.05.2015 e-Print).pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
724.86 kB
Formato
Adobe PDF
|
724.86 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.