On revision operators

DOI10.2178/jsl/1052669071zbMath1056.03022OpenAlexW1991258585MaRDI QIDQ3160562

No author found.

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1052669071

zbMATH Keywords

definabilitytheory of truthrevision theoryadmissibility

Mathematics Subject Classification ID

Descriptive set theory (03E15) Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Inductive definability (03D70)

Related Items (9)

Truth, dependence and supervaluation: living with the ghost ⋮ Revision without revision sequences: circular definitions ⋮ Rethinking revision ⋮ Comparing more revision and fixed-point theories of truth ⋮ Guest editors' introduction ⋮ Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines ⋮ A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS ⋮ Cofinally invariant sequences and revision ⋮ Comparing inductive and circular definitions: Parameters, complexity and games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary induction on abstract structures
• A revision-theoretic analysis of the arithmetical hierarchy
• Alternative revision theories of truth
• Revision Sequences and Computers with an Infinite Amount of Time
• A generalization of the limit lemma and clopen games
• The truth is never simple
• Minimality in the ${Δ^1}_2$-degrees
• Infinite time Turing machines
• Outline of a Theory of Truth
• Set-theoretic absoluteness and the revision theory of truth

This page was built for publication: On revision operators