Kamide, Norihiro. 2007. “Extended Full Computation-Tree Logics for Paraconsistent Model Checking”. Logic and Logical Philosophy 15 (3):251-76. https://doi.org/10.12775/LLP.2006.015.