Subject-oriented spatial logic - Wałęga, PA; Zawidzki, M (Information and Computation, 2020)