Loop-free sequent calculus for modal logic K4

Julius  Andirkonis

doi:10.15388/LMR.2009.43

Articles

Julius Andirkonis

Institute of Mathematics and Informatics

Published 2009-12-20

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

PDF

Keywords

marks and indices
K4
loop-free

How to Cite

Andirkonis, J. (2009) “Loop-free sequent calculus for modal logic K4”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 241–246. doi:10.15388/LMR.2009.43.

Download Citation

Abstract

In the article, a loop-free calculus for modal logic K4 is presented. The calculus is based on marks and indices method which was first used for logic S4.

PDF

Downloads

Download data is not yet available.

Most read articles in this journal

Irina Vinogradova, Uncertainty influence on AHP method ratings , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. B
Neringa Klovienė, Time periodic second grade fluid flow in an infinite strip , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Ričardas Kudžma, Vitalija Rukaitė, Semiotic square and narrative grammar in one first grade mathematical text , Lietuvos matematikos rinkinys: Vol. 55 (2014): Ser. B
Olga Yanushkevichiene, Romanas Yanushkevichius, On the stability of one characterization of the stable distributions , Lietuvos matematikos rinkinys: Vol. 41 (2001)
Rūta Simanavičienė, The sensitivity of method TOPSIS with respect to the normalization rules , Lietuvos matematikos rinkinys: Vol. 57 (2016): Ser. B
Nadiežda Vladimirovna Ostanina, School operational experience integrating children’s training with special educational needs , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Ieva Kilienė, On a classification of word problems from the first grade Lithuanian textbooks , Lietuvos matematikos rinkinys: Vol. 61 (2020): Ser. A
Juozas J. Mačys, On Stirling’s formula , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Olga Navickienė, Aleksandras Krylovas, Adjustment of norm-referenced and criterion-referenced evaluations of students’ knoweledge , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. B
Aleksandras Krylovas, Natalja Kosareva, The factory site selection task solution by multiple criteria decision method KEMIRA , Lietuvos matematikos rinkinys: Vol. 56 (2015): Ser. B

<< < 5 6 7 8 9 > >>