Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory

DOI10.2307/3062206zbMath1020.03024OpenAlexW4248974030MaRDI QIDQ4779636

Jaakko Hintikka

Publication date: 16 December 2002

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0803-toc.htm

zbMATH Keywords

independence friendly logicgame-theoretical semanticsbranching quantifierslogical notationdependence of quantifierssemantics of quantifiers

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

From IF to BI. A tale of dependence and separation ⋮ Dependence of variables construed as an atomic formula ⋮ Grelling on Dependence