Аннотация: Исследованы программно-ориентированные логические формализмы – транзиционные композиционно-номинативные модальные логики частичных эквитонных предикатов. Описаны семан- тические модели и языки чистых первопорядковых транзиционных модальных логик. Для таких логик построены исчисления секвенциального типа, доказаны корректность и полнота этих исчислений.

Ключевые слова: модальная логика, предикат, логический вывод, секвенциальное исчисление.

ACM классификация ключевых слов: F.3.1 Specifying and Verifying and Reasoning about Programs; F.4.1 Mathematical Logic – Proof theory

Link:

МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕКВЕНЦИАЛЬНЫЕ СИСТЕМЫ ЛОГИЧЕСКОГО ВЫВОДА В ЭТИХ ЛОГИК

Оксана Шкильняк

http://www.foibg.com/ijita/vol20/ijita20-04-p08.pdf