Various remarks
Remarks about nonmonotonic logics and dynamic reasoning