Tkaczyk, M.; Jarmużek, T. Jerzy Łoś Positional Calculus and the Origin of Temporal Logic. LLP 2018, 28, 259-276.