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

O.S. Shkilnyak

Abstract


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 theorems for these calculi are proved.

Problems in programming 2011; 1: 17-28


References


Нікітченко М.С., Шкільняк С.С. Компози­ційно-номінативні модальні логіки // Проблемы программирования. – 2002. – № 1–2. – С. 27–33.

Фейс Р. Модальная логика. – M.: Наука, 1974. – 520 с.

Семантика модальных и интенсиональных логик. – M.: Прогресс, 1981. – 494 с.

Нікітченко М.С., Шкільняк С.С. Матема­тична логіка та теорія алгоритмів. – К.: ВПЦ «Київський університет», 2008. – 528 с.

Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семан­тичні властивості, секвенційні числення // Наукові записки НаУКМА. Том 86. Серія: Комп’ютерні науки. – 2008. – C. 25–34.

Шкільняк О.С. Секвенційні числення ком­позиційно-номінативних модальних і тем­поральних логік // Наукові записки НаУКМА. Том 99. Серія: Комп’ютерні науки. – 2009. – C. 37–44.

Шкільняк О.С. Семантичні властивості композиційно-номінативних модальних логік // Проблеми програмування. – 2009. – № 4. – C. 11–24.

Шкільняк О.С. Композиційно-номінативні модальні логіки функціонально-еквацій­ного рівня // Проблеми програмування. – 2010. – № 2–3 – C. 42–47.


Refbacks

  • There are currently no refbacks.