A Logic for Contextually Restricted Quantification
Paul Dekker

Abstract:
This note presents, motivates and details, a logic —model and proof theory— for a first order language with contextually restricted quantification.