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 by the same author(s)

Valentinas Podvezko, Askoldas Podviezko, Methods of estimation of weights , Lietuvos matematikos rinkinys: Vol. 55 (2014): Ser. B
Edmundas Mazėtis, Grigorijus Melničenko, A rational sine and cosine of the angles of a triangle , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. B
Juozas Juvencijus Mačys, Equations of higher orders , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. B
Rimas Norvaiša, Why do we teach the mathematics that we do? , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. A
Edmundas Mazėtis, Grigorijus Melničenko, Rational cuboids and Heron triangles II , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. B
Juvencijus Mačys, Jurgis Sušinskas, Classification of cubic equations , Lietuvos matematikos rinkinys: Vol. 59 (2018): Ser. B
Igoris Belovas, Modeling Baltic market benchmark index: a comparison of models , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. B
Grigorijus Melničenko, Direct and inverse factorization algorithms of numbers , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. B
Eugenijus Stankus , Dice and probabilities , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Rimas Norvaiša, The aims of teaching mathematics: mathematical literacy vs mathematical reasoning , Lietuvos matematikos rinkinys: Vol. 61 (2020): Ser. B

1 2 3 4 5 > >>