Bazzoni, André Hintikka on the foundations of mathematics: IF logic and uniformity concepts. (English) Zbl 1334.03032 J. Philos. Log. 44, No. 5, 507-516 (2015). MSC: 03B60 03A05 PDF BibTeX XML Cite \textit{A. Bazzoni}, J. Philos. Log. 44, No. 5, 507--516 (2015; Zbl 1334.03032) Full Text: DOI
Buldt, Bernd The scope of Gödel’s first incompleteness theorem. (English) Zbl 1339.03004 Log. Univers. 8, No. 3-4, 499-552 (2014). MSC: 03A05 03F40 03-02 PDF BibTeX XML Cite \textit{B. Buldt}, Log. Univers. 8, No. 3--4, 499--552 (2014; Zbl 1339.03004) Full Text: DOI
Clairambault, Pierre; Gutierrez, Julian; Winskel, Glynn Imperfect information in logic and concurrent games. (English) Zbl 1264.91031 Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 7-20 (2013). MSC: 91A80 03B60 03B70 68Q85 PDF BibTeX XML Cite \textit{P. Clairambault} et al., Lect. Notes Comput. Sci. 7860, 7--20 (2013; Zbl 1264.91031) Full Text: DOI
Abramsky, Samson; Väänänen, Jouko From IF to BI. A tale of dependence and separation. (English) Zbl 1175.03016 Synthese 167, No. 2, 207-230 (2009). MSC: 03B60 PDF BibTeX XML Cite \textit{S. Abramsky} and \textit{J. Väänänen}, Synthese 167, No. 2, 207--230 (2009; Zbl 1175.03016) Full Text: DOI arXiv
Hintikka, Jaakko Independence-friendly logic and axiomatic set theory. (English) Zbl 1052.03010 Ann. Pure Appl. Logic 126, No. 1-3, 313-333 (2004). MSC: 03B60 03B30 03E30 PDF BibTeX XML Cite \textit{J. Hintikka}, Ann. Pure Appl. Logic 126, No. 1--3, 313--333 (2004; Zbl 1052.03010) Full Text: DOI
Bradfield, J. C.; Fröschle, S. B. On logical and concurrent equivalences. (English) Zbl 1260.68259 Aceto, Luca (ed.) et al., EXPRESS’01. Proceedings of the 8th international workshop on expressiveness in concurrency, a satellite workshop of CONCUR 2001, Aalborg, Denmark, August 20, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 52, No. 1, 32-45 (2002). MSC: 68Q85 03B45 PDF BibTeX XML Cite \textit{J. C. Bradfield} and \textit{S. B. Fröschle}, Electron. Notes Theor. Comput. Sci. 52, No. 1, 32--45 (2002; Zbl 1260.68259) Full Text: DOI