Александр Болдачев. Семантика событийной логики