Diderik Batens
parts of
Adaptive Logics and Dynamic Proofs
[Back to the adaptive logics homepage.]
The available parts are work in progress. Please do not quote.
All comments are welcome at Diderik.Batens@UGent.be
Documents:
Paragraphs in the margin and text in a box are meant as notes for myself to facilitate further organization.
History:
- 11 October 2010
- changes to chapter 6 and some others (some in view of work of Frederik Van De Putte)
- 19 May 2010:
- chapter 6 added
- modifications in view of comments by Tjerk Gauderis and students (all old chapters)
- 1 March 2010:
- chapter 3 reworked
- section 8.5 added
- modifications in view of comments by Mathieu Beirlaen (ch.7 and 8), Peter Verdée (S.7.5) and students (chapter 1)
- 9 January 2010:
- chapters 7 and 8 added
- chapters 1—2 modified in view of comments by Joke Meheus
- further work on elegance and transparency
- 13 October 2009:
- chapters 1—5 modified in view of comments by Atocha Aliseda
- chapter 3 modified in view of comments by Frederik Van De Putte and Mathieu Beirlaen
- some modifications in view of feedback at conferences (Mexico and Campinas)
- further work on elegance and transparency
- 7 August 2009:
- added: chapter 4 (last section incomplete)
- chapters 4 and 5 modified in view of comments by Mathieu Beirlaen
- minor other modifications in chapters 1, 2, 4 and 5
- 17 July 2009:
- chapters 1, 2, 4, 5 modified in view of comments by Dagmar Provijn + little problems solved
- 15 June 2009:
- chapters 1, 2, 4, 5 modified, mainly in view of comments by Rafał Urbaniak, Mathieu Beirlaen, and students
- added: new section 1.3 Specific Features
- added: passage on uncountable $\Phi(\Gamma)$ in Section 5.4
- added: corollary 5.8.4
- 5 June 2009:
- All chapters modified, mainly in view of comments by students.
- added: 4.9.3 Excursion: The Import of Classical Disjunction
- Added: 4.10 Dynamic semantics.
- modified: 5.9 Border cases
- Index amplified
- 26 May 2009: first version on web.
- Table of Contents, Chapters 1, 2, 4, and 5, Bibliography, Index
[Top]