Hintikka, Jaakko, cHyperclassical Logic (a.k.a. IF logic) and its Implications for Logical Theoryd, Bulletin of Symbolic Logic 8 (2002), 404-423
V. Peckhaus, zbMATH Open, Zbl. 1020.03024 (2003).