кібернетика математична, кибернетика математическая ; автореферат (текст) ; модальність, модальность ; модель семантична, модель семантическая ; семантика, семантика ; Природничі науки

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

• ББК науковий // Кібернетичні моделі
• ББК науковий // Логическая семантика