Зображення обкладинки

Compositional-nominative modal logics of the functional-equational level

Composition nominative modal and temporal logics of functional-equational level are introduced in this paper. Transition and temporal modal systems are specified for such logics, and their semantic properties are investigated. Prombles in programming 2010; 2-3: 42-47

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2026
Випуск:2-3
Сторінки:42-47
ISSN:1727-4907
Автори та афіліації:
  • O.S. Shkilniak — Kiev Taras Shevchenko National University
Ключові слова:композиційно-номінативна логіка, композиційно-номінативні мови, лінійна темпоральна логіка, темпоральне розширення дескриптивної логіки, функціональне рів- няння, функціонально-семантичне поле, fractional derivetive, generalized derivative, derivational relation, функціонально-диференціальне рівняння
Автор: Shkilniak, O.S.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 2026
Теми:
UDC 681.3.06
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/863
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Схожі ресурси

Схожі ресурси