How to go non- monotonic through context-sensitiveness

In this paper we review some ways of producing non-monotonic logics by considering context-sensitive inferences. These approaches are all based on the notion of control set, a piece of logical machinery recently introduced in [3] and further developed in [7, 4, 14]. A control set informally refers to a set of contexts S which are supposed to prohibit the implementation of specific inferences in a proof system.