| |
Шкільняк, О. С.
Модальні логіки немонотонних часткових предикатів [Текст] / О. С. Шкільняк
// Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2015. – С. 141-148. – (Серія "Фізико-математичні науки").
Досліджено нові класи програмно-орієнтованих логічних формалізмів - чисті першопорядкові транзиційні модальні логіки часткових немонотонних предикатів. |
