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

Algimantas Aksomaitis, Asymptotical analysis of maxima with a random number of component variables , Lietuvos matematikos rinkinys: No. III (1999)
Donatas Švitra, Modified logistic differential equation of neutral type with time delay , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Remigijus Petras Gylys, Sheaves on quantaloids , Lietuvos matematikos rinkinys: No. III (1999)
Arvydas Juozapas Janavičius, Nonlinear diffusion in three dimension case , Lietuvos matematikos rinkinys: No. III (1999)
Angelė Baškienė, On differential geometry of tangent and cotangent bundles of Riemannian manifold , Lietuvos matematikos rinkinys: No. III (1999)
Artūras Štikonas, About the geometrical properties of the root condition for the third order polinomials , Lietuvos matematikos rinkinys: No. III (1999)
Artūras Štikonas, The general solutions of difference vector-equations with constant coefficients , Lietuvos matematikos rinkinys: Vol. 40 (2000)

<< < 163 164 165 166 > >>