Шкільняк, О.С.; Касьянюк, В.С.; Малютенко, Л.М.
(Проблеми програмування, 2017)
Досліджено нові програмно-орієнтовані логічні формалізми модального типу – композиційно-номінативні модальні логіки немонотонних часткових предикатів. Описано семантичні моделі та мови цих логік, розглянуто основні семантичні ...