логічні системи, логические системы ; математична логіка, математическая логика ; програмні системи, программные системы

На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки. Пропонується спеціальне уточнення поняття композиційно-номінативної модальної системи для логік реномінативного та кванторного рівнів. Досліджуються семантичні властивості транзиційних та темпоральних композиційно-номінативних модальних логік.

On the basis of integrated intensional-extensional approach to construction of logical and program systems composition nominative modal and temporal logics are studied. A special refinement of the notion of a composition nominative modal system for logics of renominative and quantifier levels is proposed. Semantic properties of compositionnominative transitional and temporal logics are investigated.

Вісник Київського національного університету імені Тараса Шевченка [Текст]. — Київ : ВПЦ "Київський університет", 2006. — 2006. — 109 с.

• Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ