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

DOI10.33048/SEMI.2019.16.040zbMATH Open1432.03045OpenAlexW3015390391MaRDI QIDQ2003259FDOQ2003259

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

Recommendations

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

zbMATH Keywords

computabilitygame theoretical semanticsNelson's realizability

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Independence-friendly logic. A game-theoretic approach
• Title not available (Why is that?)
• A course in game theory.
• Constructible falsity
• Hintikka's independence-friendly logic meets Nelson's realizability

Cited In (4)

• Game semantics for first-order logic
• The Succinctness of First-order Logic over Modal Logic via a Formula Size Game
• Title not available (Why is that?)
• 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)