The following pages link to On revision operators (Q3160562):
Displaying 9 items.
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Comparing more revision and fixed-point theories of truth (Q2236597) (← links)
- Cofinally invariant sequences and revision (Q2350973) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- Revision without revision sequences: circular definitions (Q2420713) (← links)
- Rethinking revision (Q2420716) (← links)
- Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines (Q4995609) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- Guest editors' introduction (Q5920212) (← links)
