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

Paragraphs in the margin and text in a box are meant as notes for myself to facilitate further organization.