A general method for proving decidability of intuitionistic modal logics (2006)
By: Natasha Alechina, and Dmitry Shkatov
Download Information
Natasha Alechina and Dmitry Shkatov (2006). "A general method for proving decidability of intuitionistic modal logics." Journal of Applied Logic, 4(3), 219-230.
Bibtex citation
@article{Alechina/Shkatov:06a,
author = {Natasha Alechina and Dmitry Shkatov},
title = {A general method for proving decidability of intuitionistic modal logics},
journal = {Journal of Applied Logic},
volume = 4,
number = 3,
year = 2006,
pages = {219-230},
publisher = {Elsevier},
} full list
