|
-
Ключові слова:
логіка предикатів, логика предикатов, predicate logic ; неокласичні логіки, неоклассические логики
-
Анотація:
Досліджено нові класи спеціальних програмно-орієнтованих логічних формалізмів - транзиційні композиційно-номінативні модальні логіки. Описано семантичні моделі та мови цих логік. Для чистих першопорядкових темпоральних і мультимодальних транзиційних логік розглянуто властивості відношення логічного наслідку для множин специфікованих станами формул.
We investigate new classes of special program-oriented logical formalisms - transitional composition-nominative modal logics. Semantic models and languagesof these logics are defined. Properties of logical consequence relations for sets of state-specified formulas of pure first-order temporal and multimodal transitional logics are studied.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 