Įrodymų specializacija modalumo logikai S5

Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI:10.15388/lmr.2006.30718

Aida Pliuškevičienė

引用次数: 0

Abstract

Loop-check-free decidable specialization of sequent calculus for modal logic S5 is presented. Soundness and completness of this calculus is proved.

查看原文本刊更多论文

模式逻辑的证据专业化 S5

给出了模态逻辑S5的序列演算的无环检可定专门化。证明了该演算的完备性和正确性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Lietuvos Matematikos Rinkinys

自引率

0.00%

发文量

审稿时长

15 weeks