Editing Game semantics (section)

=== Articles ===
* S. Abramsky and R. Jagadeesan, ''[https://ora.ox.ac.uk/objects/uuid:416fe169-a1bc-4afb-a768-59a47f3ae46d/download_file?file_format=pdf&safe_filename=gfc.pdf&type_of_work=Conference+item Games and full completeness for multiplicative linear logic]''. [[Journal of Symbolic Logic]] 59 (1994): 543-574.
* A. Blass, ''[https://www.sciencedirect.com/science/article/pii/0168007292900739/pdf?md5=cdfdfcea34460028a0622a0501ba5fe3&isDTMRedir=Y&pid=1-s2.0-0168007292900739-main.pdf A game semantics for linear logic]''. Annals of Pure and Applied Logic 56 (1992): 151-166.
* J.M.E.Hyland and H.L.Ong ''[https://www.sciencedirect.com/science/article/pii/S0890540100929171 On Full Abstraction for PCF: I, II, and III]''. Information and computation, 163(2), 285-408.
*E.J. Genot and J. Jacot, ''[https://link.springer.com/article/10.1007/s10849-017-9252-4 Logical Dialogues with Explicit Preference Profiles and Strategy Selection]'', ''Journal of Logic, Language and Information'' '''26''', 261–291 (2017). [[doi:10.1007/s10849-017-9252-4|doi.org/10.1007/s10849-017-9252-4]]
* D.R. Ghica, ''[http://doi.ieeecomputersociety.org/10.1109/LICS.2009.26 Applications of Game Semantics: From Program Analysis to Hardware Synthesis]''. 2009 24th Annual IEEE Symposium on Logic In Computer Science: 17-26. {{ISBN|978-0-7695-3746-7}}.
* G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S016800720300023X/pdf?md5=17a6ad155f7b48e1a9f8185b2852a372&isDTMRedir=Y&pid=1-s2.0-S016800720300023X-main.pdf&_valck=1 Introduction to computability logic]''. Annals of Pure and Applied Logic 123 (2003): 1-99.
* G. Japaridze, ''[https://arxiv.org/abs/cs.LO/0507045 In the beginning was game semantics]''. In   Ondrej Majer, Ahti-Veikko Pietarinen and Tero Tulenheimo (editors), ''Games: Unifying logic, Language and Philosophy''. Springer (2009).
* Krabbe, E. C. W., 2001. "[https://onlinelibrary.wiley.com/doi/abs/10.1111/1467-8349.00077 Dialogue Foundations: Dialogue Logic Restituted] [title has been misprinted as "...Revisited"]," ''Supplement to the Proceedings of the Aristotelian Society 75'': 33-49.
* {{cite conference|author=H. Nickau|title=Hereditarily Sequential Functionals|book-title=Proc. Symp. Logical Foundations of Computer Science: Logic at St. Petersburg|volume=813|editor1=A. Nerode|editor2=Yu.V. Matiyasevich|series=Lecture Notes in Computer Science|publisher=[[Springer-Verlag]]|year=1994|pages=253–264|doi=10.1007/3-540-58140-5_25}} 
* {{cite journal |last=de Queiroz |first=R. |title=A Proof-Theoretic Account of Programming and the Role of Reduction Rules |date=1988 |journal=[[Dialectica]] |volume=42 |issue=4 |pages=265–282 |doi=10.1111/j.1746-8361.1988.tb00919.x |url=https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1988.tb00919.x |url-access=subscription }}
* {{cite journal |last=de Queiroz |first=R. |title=Meaning as Grammar plus Consequences |date=1991 |journal=Dialectica |volume=45 |issue=1 |pages=83–86 |doi=10.1111/j.1746-8361.1991.tb00979.x |url=https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1991.tb00979.x |url-access=subscription }}
* {{cite journal |last=de Queiroz |first=R. |title=Normalisation and Language Games |date=1994 |journal=Dialectica |volume=48 |issue=2 |pages=83–123 |doi=10.1111/j.1746-8361.1994.tb00107.x | url=https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1994.tb00107.x |url-access=subscription }}
* {{cite journal |last=de Queiroz |first=R. |title=Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts |date=2001 |journal=Logic Journal of the IGPL |volume=9 |issue=5 |pages=693–734 |doi=10.1093/jigpal/9.5.693 | url=https://academic.oup.com/jigpal/article/9/5/693/688327 |url-access=subscription }}
* {{cite journal |last=de Queiroz |first=R. |title=On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics |date=2008 |journal=[[Studia Logica]] |volume=90  |issue=2 |pages=211–247 |doi=10.1007/s11225-008-9150-5 |s2cid=11321602 | url=https://doi.org/10.1007/s11225-008-9150-5 |url-access=subscription }}
* {{cite journal |last=de Queiroz |first=R. |title=From Tractatus to Later Writings and Back – New Implications from the ''Nachlass'' |date=2023 |journal=SATS Northern European Journal of Philosophy  |doi=10.1515/sats-2022-0016 |arxiv=2304.11203 |s2cid=258439631 | url=https://doi.org/10.1515/sats-2022-0016 }}
* S. Rahman and L. Keiff, ''On how to be a dialogician''. In Daniel Vanderken (ed.), ''Logic Thought and Action'', Springer (2005), 359-408. {{ISBN|1-4020-2616-1}}.
* S. Rahman and T. Tulenheimo,  ''[https://www.researchgate.net/profile/Shahid_Rahman3/publication/226118972_From_Games_to_Dialogues_and_Back/links/0deec51fa108b7c9a0000000/From-Games-to-Dialogues-and-Back.pdf From Games to Dialogues and Back: Towards a General Frame for Validity]''.  In Ondrej Majer, Ahti-Veikko Pietarinen and Tero Tulenheimo (editors), ''Games: Unifying logic, Language and Philosophy''. Springer (2009).
* {{cite book|editor=G. E. Mints|editor2=Reinhard Muskens|title=Games, logic, and constructive sets|year=2003|publisher=CSLI Publications|isbn=978-1-57586-449-5|author=Johan van Benthem|chapter=Logic and Game Theory: Close Encounters of the Third Kind }}