Abstract
Abstract
This article will introduce K-modal BL-logic and investigate some properties of this new logic. Consequently, T-modal BL-logic and S4-modal BL-logic, as schematic extensions of K-modal BL-logic, will be dealt with. Likewise, the algebraic semantics based on each logic will be constructed. Finally, the soundness and completeness theorems of these logics will be proved.
Get full access to this article
View all access options for this article.
References
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.