Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення

Abstract

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