Matemaatika ja informaatika PhD (informaatika, projekt: Loogikaid poolrõngassemantikas/Logics with semiring semantics)