Cover Image

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

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...

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2024
Issue:2-3
Pages:19-27
ISSN:1727-4907
Author Affiliations:
  • О.S. Shkilniak — Kiev Taras Shevchenko National University
  • S.S. Shkilniak — Kiev Taras Shevchenko National University
Main Authors: Shkilniak, О.S., Shkilniak, S.S.
Format: Article
Language:Ukrainian
Published: PROBLEMS IN PROGRAMMING 2024
Subjects:
modal logic
predicate
logical consequence
sequent calculus
UDC 510.64
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/615
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Internet

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/615

Similar Items