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:
[Top]