Jaakko Hintikka Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. 404-423 2002 8 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/0803/0803-004.ps db/journals/bsl/bsl8.html#Hintikka02