Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2024
• Випуск: 2-3
• Сторінки: 19-27
• ISSN: 1727-4907
• Автори та афіліації: О.S. Shkilniak — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: модальна логіка, квазіарний предикат, частковий предикат, композиційно-номінативна логіка, трійкова логіка, багатозначна логіка, доведення часткової коректності, функція та предикат довільної ар- ності, логіка, основ- на тотожність
• Автори: Shkilniak, О.S., Shkilniak, S.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2024
• Теми: modal logic; predicate; logical consequence; sequent calculus; UDC 510.64
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/615
• Назва журналу: Problems in programming

The aim of the work is to study new classes of program-oriented logical formalisms of the modal type – pure first-order modal logics of partial quasiary predicates without monotonicity condition and enriched with equality predicates. Modal logics can be used to describe and model various subject are...