Compositional-nominative modal logics of the functional-equational level

O.S. Shkilniak

Abstract


Composition nominative modal and temporal logics of functional-equational level are introduced in this paper. Transition and temporal modal systems are specified for such logics, and their semantic properties are investigated. 

Prombles in programming 2010; 2-3: 42-47


References


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

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

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

Shkilnyak O.S. Composition nominative modal and temporal logics. – Proceedings of the 10th International Conference on Informatics

“Informatics 2009”. – Herlany, Slovakia, 2009. – P. 148–153.

Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки номінативних рівнів. // Міжнар. конф. "Теоретичні та прикладні аспекти побудови програмних систем". – TAAPSD'2009. Тези доповідей. – К., 2009. – С. 100–107.

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


Refbacks

  • There are currently no refbacks.