On Sub-Propositional Fragments of Modal Logic
In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and...
| Main Authors: | , , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Logical Methods in Computer Science e.V.
2018-06-01
|
| 丛编: | Logical Methods in Computer Science |
| 主题: | |
| 在线阅读: | https://lmcs.episciences.org/2550/pdf |