Musts, Jānis (Latvijas Universitāte, 2016)
Šajā darbā tiek aplūkota problēma – kā temporālajā loģikā formalizēt informācijas pārvietošanās koncepciju? Šīs problēmas kontekstā izvirzīts darba mērķis – inkorporēt informācijas pārvietošanās koncepciju loģiķa Artura ...