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

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2024
• Heft: 2-3
• Сторінки: 19-27
• ISSN: 1727-4907
• Автори та афіліації: О.S. Shkilniak — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: модальна логіка, квазіарний предикат, частковий предикат, композиційно-номінативна логіка, трійкова логіка, багатозначна логіка, доведення часткової коректності, функція та предикат довільної ар- ності, логіка, основ- на тотожність
• Hauptverfasser: Shkilniak, О.S., Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2024
• Schlagworte: modal logic; predicate; logical consequence; sequent calculus; UDC 510.64
• Online Zugang: 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...