We present a novel account of contexts, formalized as fixed point 
equations in the modal logic <I>QKD4Z.</I> This offers the ability to 
represent consistency and provability at the object level, with which 
one can then represent various relationships that must hold between 
different contexts, such as inheritance, disjointness, compatibility, 
etc. The logic also offers the ability to name contexts and to obtain 
explicit sentential representations for these by solving suitable 
fixed point equations. We illustrate our approach by examples 
concerning default inheritance of contexts, contradictory contexts, 
and integration of multiple contexts.