Sequent calculi of composition nominative modal logics of functional-equational level

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2025
• Heft: 1
• Сторінки: 17-28
• ISSN: 1727-4907
• Автори та афіліації: O.S. Shkilnyak — Kiev Taras Shevchenko National University
• Ключові слова: композиційно-номінативна логіка, секвенційне числення, композиційно-номінативні мови, темпоральне розширення дескриптивної логіки, лінійна темпоральна логіка, секвенції, функціональне рів- няння, модальна логіка, функціонал модулярності, логіко-семантичне представлення
• 1. Verfasser: Shkilnyak, O.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2025
• Schlagworte: UDC 510.69
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/794
• Назва журналу: Problems in programming

Composition nominative modal and temporal logics of functional-equational level are studied in this paper. Basing on properties of relation of logical consequence for sets of formulas, sequent calculi are constructed for general and temporal logics of such level. The soundness and completeness theor...