Specialization of derivations in modal logic S5

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

Bibliographic Details
Main Author:	Aida Pliuškevičienė
Format:	Article
Language:	English
Published:	Vilnius University Press 2023-09-01
Series:	Lietuvos Matematikos Rinkinys
Subjects:	modal logic sequent calculus decidable calculus loop-check
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/30718

Internet