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