Approximate and limited reasoning: semantics, proof theory, expressivity and control - Finger, Marcelo; Wassermann, Renata (Journal of Logics and Computation, 2004)