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

Stasys Norgėla, Parallel deduction-search algorithm for the predicate logic formulas , Lietuvos matematikos rinkinys: No. III (1999)
Stasys Norgėla, Some decidable classes of modal logic S5 , Lietuvos matematikos rinkinys: No. III (1999)