Nonmonotonic logic and temporal projection

Nonmonotonic logic and temporal projection