  This paper considers proof-theoretic semantics for necessity within Dummett's
and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the
language of intuitionist logic is extended by a higher order operator which
captures a notion of validity. A notion of relative necessary is defined in
terms of it, which expresses a necessary connection between the assumptions and
the conclusion of a deduction.
