Resolution method for some class of formulas of modal logic S4

Stanislovas  Norgėla

doi:10.15388/LMR.2004.32028

Articles

Stanislovas Norgėla

Vilnius University

Published 2004-12-17

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

PDF

How to Cite

Norgėla, S. (2004) “Resolution method for some class of formulas of modal logic S4”, Lietuvos matematikos rinkinys, 44(spec.), pp. 521–524. doi:10.15388/LMR.2004.32028.

Download Citation

Abstract

There is not abstract.

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)

Stanislovas Norgėla, Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University , Lietuvos matematikos rinkinys: Vol. 41 (2001)
Stanislovas Norgėla, Decidability of a monadic subclass of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 42 (2002)

<< < 1 2