Vályi Sándor: About the axiomatization of first- and second-order spatio-temporal logics : [abstract].