Composition nominative modal logics of partial non-monotone predicates and their calculi

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2018
• Випуск: 2
• Сторінки: 24-39
• ISSN: 1727-4907
• Автори та афіліації: O.S. Shkilniak — Kiev Taras Shevchenko National University; V.S. Kasianiuk — Kiev Taras Shevchenko National University — ORCID: 0000-0003-3268-303X; L.M. Malutenko — Kiev Taras Shevchenko National University — ORCID: 0000-0002-3513-5533
• Автори: Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2018
• Теми: modal logic; partial predicate; logical consequence sequent calculus; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/317
• Назва журналу: Problems in programming

We consider new program-oriented logical formalisms of modal type – pure first-order composition nominative modal logics of partial predicates without monotonicity restriction. For such logics we specify semantic models and languages and investigate interactions of modal compositions with renominati...