This is a preview. Log in through your library . Abstract We extend Moss and Parikh's modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done ...

A revolution in the basic understanding of immunology occurred in the late 1980s with the discovery that CD4+ helper T cells were not a homogeneous population but could be divided into Th1 and Th2 ...