Making Contextual Intensional Logic Nonmonotonic

This paper motivates and presents a nonmonotonic version of Contextual Intensional Logic, a type-theoretic logic intended as a general formalism for reasoning about context. In developing this logic, it is necessary to think through interactions between nonmonotonic and intensional logic that are interesting in their own right. The paper concludes with an extended example how nonmonotonic lifting rules can be deployed in inter-contextual reasoning.