Title: Logical Foundations of Reactive Default Reasoning