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

• Date: 2025
• Main Author: Shkilnyak, O.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2025
• Subjects: UDC 510.69
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/794
• Journal Title: 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...