Composition nominative modal logics of partial non-monotone predicates and their calculi
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення

O.S. Shkilniak, Kiev Taras Shevchenko National University, V.S. Kasianiuk, L.M. Malutenko, Kiev Taras Shevchenko National University, Kiev Taras Shevchenko National University
2017 PROBLEMS IN PROGRAMMING  
Досліджено нові програмно-орієнтовані логічні формалізми модального типу -композиційнономінативні модальні логіки немонотонних часткових предикатів. Описано семантичні моделі та мови цих логік, розглянуто основні семантичні властивості. Введено відношення наслідку для формул у стані, описано властивості відношення логічного наслідку для множин специфікованих станами формул. На цій основі для загальних i темпоральних модальних логік немонотонних предикатів побудовано числення секвенційного типу.
more » ... Описано різновиди цих числень, для них доведено теореми к оректності й повноти. Ключові слова: модальна логіка, частковий предикат, логічний наслідок, секвенційне числення.
doi:10.15407/pp2017.02.024 fatcat:3kbufkxu65aqlk4qzx4lvore3a