Construction of sequent calculi of composition-nominative multimodal logics

O.S. Shkilniak

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


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.