Ганчукова Ольга Владимировна

Публикации в базе данных Math-Net.Ru

1. Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
   
   Журн. СФУ. Сер. Матем. и физ., 17:3 (2024),  347–354