Butler, A. Predicate Logic With Barriers and Its Locality Effects. SuB 2019, 7, 70-80.