About effective versions of game theoretical semantics for first-order logic

DOI10.33048/semi.2019.16.040zbMath1432.03045OpenAlexW3015390391MaRDI QIDQ2003259

Igor' Yur'evich Shevchenko

Publication date: 16 July 2019

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2019.16.040

zbMATH Keywords

computabilitygame theoretical semanticsNelson's realizability

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Hintikka's independence-friendly logic meets Nelson's realizability
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: About effective versions of game theoretical semantics for first-order logic