Buchumschlag

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

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2026
Heft:2-3
Сторінки:42-47
ISSN:1727-4907
Автори та афіліації:
  • O.S. Shkilniak — Kiev Taras Shevchenko National University
Ключові слова:композиційно-номінативна логіка, композиційно-номінативні мови, лінійна темпоральна логіка, темпоральне розширення дескриптивної логіки, функціональне рів- няння, функціонально-семантичне поле, fractional derivetive, generalized derivative, derivational relation, функціонально-диференціальне рівняння
1. Verfasser: Shkilniak, O.S.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
Schlagworte:
UDC 681.3.06
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/863
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming

Ähnliche Einträge

Ähnliche Einträge