Search academic texts

Information × Registration Number 0405U000667, Candidate dissertation Status к.філос.н. Date 28-01-2005 popup.evolution o Title Temporal logic: semantics of duration Author Kokhan Yaroslav, popup.head Ishmuratov Anatoliy popup.opponent Шрамко Ярослав Владиславович popup.opponent Гончаров Андрій Юрійович Description Дисертація є охопним дослідженням основ часової логіки, здійсненим з позицій теоретико-істинневого підходу. З цією метою до апарату пропозиційної логіки додано єдине поняття чистої обмеженої спрямованої тривалості. Часо-логічні теорії будуються в дисертації на основі систем часо-логічних істинневих сполучників, що поєднують у собі логічний зміст з часовими відношеннями. Registration Date 2005-01-28 popup.nrat_date 2020-04-04 Close