Deciding some displayable modal logics
Logic
2023-12-27 v2
Abstract
In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.
Keywords
Cite
@article{arxiv.2309.02699,
title = {Deciding some displayable modal logics},
author = {Jinsheng Chen},
journal= {arXiv preprint arXiv:2309.02699},
year = {2023}
}
Comments
Too many typos