Return to Article Details A proof-theoretic semantics for contextual domain restriction Download Download PDF