Some decidable classes of formulas of modal logic S4

Stanislovas Norgėla

doi:10.15388/LMR.2001.34621

Articles

Stanislovas Norgėla

Vilnius University

Published 2001-12-17

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

PDF

How to Cite

Norgėla, S. (2001) “Some decidable classes of formulas of modal logic S4”, Lietuvos matematikos rinkinys, 41(spec.), pp. 408–412. doi:10.15388/LMR.2001.34621.

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 in this journal

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