Abstract | ||
---|---|---|
We introduce a family of modal expansions of Belnap–Dunn four-valued logic and related systems, and interpret them in many-valued Kripke structures. Using algebraic logic techniques and topological duality for modal algebras, and generalizing the so-called twist-structure representation, we axiomatize by means of Hilbert-style calculi the least modal logic over the four-element Belnap lattice and ... |
Year | DOI | Venue |
---|---|---|
2017 | 10.1093/logcom/exv038 | Journal of Logic and Computation |
Keywords | DocType | Volume |
Many-valued modal logic,Belnap logic,bilattices,paraconsistent Nelson logic | Journal | 27 |
Issue | ISSN | Citations |
1 | 0955-792X | 2 |
PageRank | References | Authors |
0.41 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Umberto Rivieccio | 1 | 103 | 14.47 |
Achim Jung | 2 | 11 | 3.29 |
Ramon Jansana | 3 | 389 | 47.83 |