Semantic properties of composition nominative modal logics

O.S. Shkilnyak

Abstract


In this paper composition nominative modal and temporal logics of nominative, quantifier and quantifier-equational levels are studied on the basis of the integrated intentional-extensional approach to construction of systems of logic and software. For such logics, a special refinement of the notion of composition nominative modal system is introduced, and semantic properties are investigated.

Problems in programming 2009; 4: 11-23


References


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

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

Нікітченко М.С., Шкільняк С.С. Інтен­сіонально-орієнтований підхід до побу­дови логічних систем // Проблеми про­грамування. – 2007. – № 2. – C. 15–40.

Никитченко Н.С. Предикатные компо­зиционно–номинативные системы // Проблемы программирования. – 1999. – № 2. – С. 3–19.

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

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

Шкільняк C.С. Неокласичні кванторні логіки з рівністю // Вісник Київського університету. Серія: фіз.-мат. науки. – 2003. – Вип.1. – С. 222–225.

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


Refbacks

  • There are currently no refbacks.