Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty - Ioakimidis, Nikolaos (Κανένας, 2022)