Construction of sequent calculi of composition-nominative multimodal logics
Abstract
In this paper first-order composition-nominative multimodal logics of quantifier-equational level are studied. For these logics sequent calculi are constructed. Soundness and completeness theorems are proved for the defined calculi.
Problems in programming 2013; 1: 3-13
Full Text:
PDF (Українська)References
Андон Ф.И., Яшунин А.Е., Резниченко В.А. Логические модели интеллектуальных информационных систем.– К.: 1999. – 396 с.
Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К.: ВПЦ Київський університет, 2008. – 528 с.
Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення // Наукові записки НаУКМА. Сер.: Комп’ютерні науки. – 2008. – Т. 86. – C. 25–34.
Шкільняк О.С. Семантичні властивості композиційно-номінативних модальних логік // Проблеми програмування. – 2009. – № 4. – C. 11–23.
Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня // Проблеми програмування. – 2011. – № 1. – C. 17–28.
Шкільняк О.С., Шкільняк C.С. Композицій но-номінативні логіки епістемічного типу // Наукові записки НаУКМА. Сер.: Комп’ютерні науки. – 2011. – Т. 125. – C. 4–7.
Шкільняк О.С., Шкільняк С.С. Kомпозиційно-номінативні мультимодаль ні логіки // Штучний інтелект. – 2011. – № 4. – C. 126 –133.
Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу // Вісник Київського ун-ту. Серія: фіз.-мат. науки. – 2011. – Вип. 3. – С. 204–211.
Семантика модальных и интенсиональных логик. – M.: Прогресс, 1981. – 494 с.
Refbacks
- There are currently no refbacks.