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

DOI10.33048/SEMI.2019.16.040MaRDI QIDQ2003259zbMATH OpenOpenAlexFDO

Authors Igor' Yur'evich Shevchenko

Publication date 16 July 2019

Published in Sibirskie Elektronnye 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)

Recommendations

• Truth in dialogue logic and game-theoretical semantics (GTS)
• scientific article; zbMATH DE number 3861115
• Game theory and conventiont
• scientific article; zbMATH DE number 2226182
• Extended game-theoretical semantics

Cites work

• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• A course in game theory.
• Constructible falsity
• Hintikka's independence-friendly logic meets Nelson's realizability
• Independence-friendly logic. A game-theoretic approach

Cited in

(4)

• Game semantics for first-order logic
• The Succinctness of First-order Logic over Modal Logic via a Formula Size Game
• scientific article; zbMATH DE number 1688376 (Why is no real title available?)
• Extended game-theoretical semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2003259)