Abstract

We give a simplified version of the system introduced in ‘Non-Redundancy’, presented here as a Modal Logic whose primitive elements are finite sequences. It includes a treatment of Condition C, Condition B, Condition A, and the Locality of Variable Binding, but disregards quantification and Weak and Strong Crossover effects, which are treated in the longer paper.