Kripke-type Semantics for CG3′

In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic, 55(1):129–155, 2014] introduced a paraconsistent three-valued logic, the logic CG3′ which was named after the logic G3′ due to the close relation between them. Authors defined CG3′ via the three-valued matrix that defines G3′ but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3′ before constructing a Kripke-type semantics for it.