The logical legacy of Nikolai Vasiliev and modern logic. ([2017])