A resolution calculus for modal logic S4 | Lietuvos matematikos rinkinys

Articles

Stasys Norgėla

Vilnius University

Published 2000-12-18

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

PDF

How to Cite

Norgėla, S. (2000) “A resolution calculus for modal logic S4”, Lietuvos matematikos rinkinys, 40(spec.), pp. 270–274. doi:10.15388/LMR.2000.35147.

Download Citation

Crossref

Scopus

Google Scholar

Europe PMC

Abstract

There is not abstract.

PDF

Creative Commons License

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)

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
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
Grigorijus Melničenko, Direct and inverse factorization algorithms of numbers , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. B

1 2 3 4 5 > >>