Specialization of derivations in modal logic S5

Aida Pliuškevičienė

doi:10.15388/LMR.2006.30718

Articles

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Published 2023-09-21

https://doi.org/10.15388/LMR.2006.30718

PDF

Keywords

modal logic
sequent calculus
decidable calculus
loop-check

How to Cite

Pliuškevičienė, A. (2023) “Specialization of derivations in modal logic S5”, Lietuvos matematikos rinkinys, 46(spec.), pp. 242–246. doi:10.15388/LMR.2006.30718.

Download Citation

Abstract

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

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Finite sequent calculi for PLTL , Lietuvos matematikos rinkinys: Vol. 56 (2015): Ser. A
Regimantas Pliuškevičius , Aida Pliuškevičienė, A method of marks and indices for linear modal logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Aida Pliuškevičienė, Loop-check elimination for non-transitive distributed knowledge logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Aida Pliuškevičienė, Elimination of loop-check for logic of idealized knowledge , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Aida Pliuškevičienė, Decision procedure for an extended miniscoped fragment of FTL with equality , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Aida Pliuškevičienė, Decision procedure for a combination of logics KD4 and PDL , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Aida Pliuškevičienė, Decision procedure for a fragment of quantified branching temporal logic , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Aida Pliuškevičienė, Decision procedure for a fragment of dynamic logic , Lietuvos matematikos rinkinys: Vol. 41 (2001)