L. ?-?v-11 and O. ?v, (x)) [ 11] 13 O L ? (v) : A [? 12] 13 O R ? ?v, p.A

. Soundness, . Completeness, and . Tableaux, Consider first-order tableaux and first-order dialogical games. There is a tableau proof for ? if and only if there is a winning

S. Abramsky and P. A. Mellies, Concurrent games and full completeness, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.431-442, 1999.
DOI : 10.1109/LICS.1999.782638

J. Bell, The Axiom of Choice, 2009.

A. Blass, A game semantics for linear logic, Annals of Pure and Applied Logic, pp.183-220, 1992.
DOI : 10.1016/0168-0072(92)90073-9

R. Brandom, Making it Explicit, 1994.

R. Brandom, Articulating Reasons, 2000.

N. Clerbout, First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, vol.127, issue.4, pp.785-801, 2014.
DOI : 10.1007/s10992-013-9289-z

N. Clerbout, Finiteness of Plays and the Dialogical Problem of Decidability, IfCoLog Journal of Logics and their Applications, vol.1, issue.1, pp.115-130, 2014.

N. Clerbout, M. H. Gorisse, and S. Rahman, Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddhar???iga???i???s Commentary on the Handbook of Logic, Journal of Philosophical Logic, vol.40, issue.5, pp.633-662, 2011.
DOI : 10.1007/s10992-010-9164-0

N. Clerbout and S. Rahman, On Dialogues, Predication and Elementary Sentences, Revista de Humanidades de Valparaíso, pp.7-46, 2013.
URL : https://hal.archives-ouvertes.fr/halshs-01225767

N. Clerbout and S. Rahman, Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice, 2015.
DOI : 10.1007/978-3-319-19063-1
URL : https://hal.archives-ouvertes.fr/halshs-01217962

H. Enderton, Finite Partially-Ordered Quantifiers, Zeitschrift für mathematische Logik, pp.393-397, 1970.
DOI : 10.1002/malq.19700160802

S. Feferman, What kind of logic isIndependence Friendly" logic? The Philosophy of Jaakko Hintikka, Open Court -Library of Living Philosophers, pp.453-469, 2006.

W. Felscher, Dialogues as a foundation for intuitionistic logic, Handbook of Philosophical Logic, pp.341-372, 1985.

W. Felscher, Rubin Jean E.. Mathematical logic: applications and theory. The Saunders series. Saunders College Publishing, Philadelphia etc. 1990, xvi + 417 pp., The Journal of Symbolic Logic, vol.59, issue.02, pp.670-671, 1994.
DOI : 10.2307/2275418

V. Fiutek, H. Rückert, and S. Rahman, A dialogical semantics for Bonannos system of belief revision, Constructions, pp.315-334, 2010.

M. Fontaine, Argumentation et engagement ontologique. Être, c'est être choisi, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01137248

J. Ginzburg, The Interactive Stance: Meaning for Conversation, 2012.
DOI : 10.1093/acprof:oso/9780199697922.001.0001
URL : https://hal.archives-ouvertes.fr/hal-01138031

J. Y. Girard, On the meaning of logical rules I : syntax vs. semantics, Computational Logic, pp.215-272, 1999.

J. Granström, Treatise on Intuitionistic Type Theory, 2011.
DOI : 10.1007/978-94-007-1736-7

J. Hintikka, Knowledge and Belief, 1962.

J. Hintikka, Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, 1973.

J. Hintikka, The Principles of Mathematics Revisited, 1996.
DOI : 10.1017/CBO9780511624919

J. Hintikka, Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy, 1996.
DOI : 10.1007/978-94-015-8601-6

J. Hintikka, Defining Truth, the Whole Truth and Nothing but the Truth. Helsinki: University of Helsinki -Reports from the Department of Philosophy, 1997.

J. Hintikka, Inquiry as Inquiry: A Logic of Scientific Discovery, 1999.
DOI : 10.1007/978-94-015-9313-7

J. Hintikka and J. Kulas, Anaphora and Definite Descriptions, Two Applications of Game-Theoretical Semantics, 1985.

J. Hintikka and G. Sandu, Informational Independence as a Semantical Phenomenon, Logic, pp.571-589, 1989.

J. Hintikka and G. Sandu, Game-theoretical semantics, Handbook of Logic and Language, pp.361-410, 1997.

J. Hintikka, I. Halonen, and A. Mutanen, Interrogative Logic as a General Theory of Reasoning, Hintikka, pp.47-90, 1999.

W. Hodges, Dialogue foundations. a sceptical look, Proceedings of the Aristotelian Society, supplementary volume LXXV, pp.17-32, 2001.

W. Hodges, Logic and Games The Stanford Encyclopedia of Philosophy, 2004.

R. Jovanovic, Hintikka's Take on the Axiom of Choice and the Constructivist Challenge, Revista de Humanidades de Valparaíso, pp.135-152, 2013.

W. Kamlah and P. Lorenzen, Logische Propädeutik, 1972.

W. Kamlah and P. Lorenzen, Logical Propaedeutic, Lanham Md, 1972.

L. Keiff, Le Pluralisme Dialogique: Approches dynamiques de l'argumentation formelle, 2007.

L. Keiff, Dialogical Logic The Stanford Encyclopedia of Philosophy, URL http, 2009.

A. Lecomte and M. Quatrini, Ludics study of interaction in language, Math??matiques et sciences humaines, vol.189, issue.189, pp.37-67, 2010.
DOI : 10.4000/msh.11640

A. Lecomte, Meaning, Logic and Ludics, 2011.
DOI : 10.1142/p670
URL : https://hal.archives-ouvertes.fr/hal-00605016

A. Lecomte and M. Quatrini, Figures of dialogue: a view from Ludics, Synthese, vol.123, issue.4, pp.59-85, 2011.
DOI : 10.1007/s11229-011-0014-6
URL : https://hal.archives-ouvertes.fr/hal-01020951

K. Lorenz, Elemente der Sprachkritik.Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie, 1970.

K. Lorenz, Basic objectives of dialogue logic in historical perspective, 2001.

. Rückert, New Perspectives in Dialogical Logic, special volume Synthese, pp.255-263

K. Lorenz, Logic, Language and Method: On Polarities in Human Experience, 2010.
DOI : 10.1515/9783110216790

K. Lorenz, Philosophische Variationen: Gesammelte Aufstze unter Einschluss gemeinsam mit J¨urgen Mittelstraß geschriebener Arbeiten zu Platon und Leibniz, 2010.
DOI : 10.1515/9783110218800

P. Lorenzen, Einführung in die operative Logik und Mathematik, 1995.

P. Lorenzen and K. Lorenz, Dialogische Logik, 1978.

P. Lorenzen and O. Schwemmer, Konstruktive Logik, Ethik und Wissenschaftstheorie, Mannheim: Bibliographisches Institut, 1975.

S. Magnier, Approche dialogique de la dynamique épistémique et de la condition juridique, 2013.

M. Marion, Hintikka on Wittgenstein: From Language-Games to Game Semantics, Truth and Games, Essays in Honour of Gabriel Sandu, pp.223-242, 2006.

M. Marion, Why Play Logical Games?, Logic and Games, Foundational Perspectives, pp.3-26, 2009.
DOI : 10.1007/978-1-4020-9374-6_1

M. Marion, Between Saying and Doing : From Lorenzen to Brandom and Back, Constructions, pp.489-497, 2010.

P. Martin-löf, Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, 1980.

P. Martin-löf, 100 years of Zermelo's axiom of choice: what was the problem with it?, The Computer Journal, vol.49, issue.3, pp.345-350, 2006.
DOI : 10.1093/comjnl/bxh162

C. Penco, Keeping track of indiviudals. Brandom's analysis of Kripke's puzzle and the content of belief, Pragmatics and Cognition, pp.177-201, 2005.

A. Popek, Logical dialogues from Middle Ages, 2012.

. Salguero, Logic of Knowledge, Theory and Applications, pp.223-244

D. Prawitz, Proofs and the Meaning and Completeness of the Logical Constants, Essays on Mathematical and Philosophical Logic: Reidel, pp.25-40, 1979.
DOI : 10.1007/978-94-009-9825-4_2

D. Prawitz, Truth and Proof in Intuitionism, Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, pp.45-68, 2012.
DOI : 10.1007/978-94-007-4435-6_3

G. Primiero, Constructive modalities for information " , Talk given at the Young Researchers Days in Logic, Philosophy and History of Science, pp.1-2, 2008.

G. Primiero, A contextual type theory with judgemental modalities for reasoning from open assumptions, Logique et Analyse, pp.579-600, 2012.

S. Rahman, Über Dialogue, Protologische Kategorien und andere Seltenheiten, 1993.

S. Rahman, Negation in the Logic of First Degree Entailment and Tonk, 2012.
DOI : 10.1007/978-94-007-1923-1_12
URL : https://hal.archives-ouvertes.fr/halshs-00713166

G. Rahman, M. Primiero, and . Marion, The Realism-Antirealism Debate in the Age of Alternative Logics, pp.213-250
DOI : 10.1007/978-94-007-1923-1
URL : https://hal.archives-ouvertes.fr/halshs-00649207

S. Rahman, From Dialogue To Dialogue: Conversations and the Dialogical Approach to Meaning, 2014.
URL : https://hal.archives-ouvertes.fr/halshs-01226071

C. In, S. Bowao, and . Rahman, De l'orature à l'écriture, London-King's College: College Publications, pp.70-106

S. Rahman, On Hypothetical Judgements and Leibniz???s Notion of Conditional Right, 2015.
DOI : 10.1007/978-3-319-16021-4_7

S. Rahman and N. Clerbout, Constructive Type Theory and the Dialogical Approach to Meaning, Baltic International Yearbook of Cognition, Logic and Communication, vol.8, issue.1, 2013.
DOI : 10.4148/1944-3676.1077
URL : https://hal.archives-ouvertes.fr/halshs-01225723

S. Rahman and N. Clerbout, Constructive Type Theory and the Dialogical Turn ? A new Start for Erlangen Constructivism, Dialogische Logik, pp.127-184, 2015.

S. Rahman and L. Keiff, On How to Be a Dialogician, Logic, Thought, and Action, pp.359-408, 2005.
DOI : 10.1007/1-4020-3167-X_17
URL : https://hal.archives-ouvertes.fr/halshs-00195931

S. Rahman and L. Keiff, La Dialectique entre logique et rhetorique, pp.149-178, 2010.
URL : https://hal.archives-ouvertes.fr/halshs-01216206

S. Rahman and J. Redmond, Armonía Dialógica: tonk Teoría Constructive de Tipos y Reglas para Jugadores Anónimos " , Constructive Type Theory and Player-Independent Rules, Theoria, 2015.

S. Rahman and J. Redmond, A Dialogical Frame for Fictions as Hypothetical Objects, UNISI- NOS, 2015.
URL : https://hal.archives-ouvertes.fr/halshs-01216227

S. Rahman and T. Tulenheimo, From Games to Dialogues and Back, Games: Unifying Logic, Language and Philosophy, pp.153-208, 2009.
DOI : 10.1007/978-1-4020-9374-6_8
URL : https://hal.archives-ouvertes.fr/halshs-00713228

S. Rahman, N. Clerbout, and L. Keiff, On Dialogues and Natural Deduction, 2009.
URL : https://hal.archives-ouvertes.fr/halshs-00713187

S. Rahman, N. Clerbout, and Z. Mcconaughey, On play-objects in dialogical games. Towards a Dialogical approach to Constructive Type Theory, Modestly radical or radically modes. Festschrift for Jean-Paul van Bendegem, pp.127-154, 2014.

A. Ranta, Propositions as games as types, Synthese, vol.42, issue.3, pp.377-395, 1988.
DOI : 10.1007/BF00869607

A. Ranta, Constructing possible worlds*, Theoria, vol.15, issue.1-2, pp.77-99, 1991.
DOI : 10.1111/j.1755-2567.1991.tb00541.x

A. Ranta, Type-Theoretical Grammar, 1994.

S. Read, Harmony and modality, Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, pp.285-303, 2008.

S. Read, General-Elimination Harmony and the Meaning of the Logical Constants, Journal of Philosophical Logic, vol.14, issue.5, pp.557-576, 2010.
DOI : 10.1007/s10992-010-9133-7

J. Redmond, Logique dynamique de la fiction: Pour une approche dialogique, 2010.

J. Redmond and M. Fontaine, How to Play Dialogues: An Introduction to Dialogical Logic, 2011.

H. Rückert, Dialogues as a Dynamic Framework for Logic, 2011.

H. Rückert, The Conception of Validity in Dialogical Logic, Talk at the workshop Proofs and Dialogues, 2011.

G. Sandu, Studies in Game-Theoretical Logics and Semantics, 1991.

G. Sandu, On the theory of anaphora: dynamic predicate logic vs. game-theoretical semantics, Linguistics and Philosophy, vol.20, issue.2, pp.147-174, 1997.
DOI : 10.1023/A:1005362917275

G. Sandu and J. Jacot, Quantification and Anaphora in Natural Language, Prospect for meaning, pp.609-628, 2012.
DOI : 10.1515/9783110216882.609
URL : https://hal.archives-ouvertes.fr/halshs-00791443

P. Schröder-heister, Lorenzen???s operative justification of intuitionistic logic, 2008.
DOI : 10.1007/978-3-7643-8653-5_14

J. M. Sterling, Note on Diaconescu's theorem " Online in http://www.jonmsterling.com/posts/2015-04-24-note-on-diaconescus-theorem Proof-theory and meaning, Handbook of Philosophical Logic, pp.471-506, 1986.

G. Sundholm, Implicit epistemic aspects of constructive logic, Journal of Logic, Language and Information, vol.6, issue.2, pp.191-212, 1997.
DOI : 10.1023/A:1008266418092

G. Sundholm, Inference versus Consequence The Logica Yearbook, Filosofia, pp.26-36, 1997.

G. Sundholm, A Plea for Logical Atavism The Logica Yearbook, Filosofia, pp.151-162, 2000.

G. Sundholm, A Century of judgement and Inference The Development of Modern Logic, pp.1837-1936, 2009.

G. Sundholm, Independence Friendly Language is First Order after all, Logique et Analyse, 2013.

G. Sundholm, Inference and Consequence in an Interpeted Language " . Talk at the Workshop Proof theory and Philosophy, 2013.

W. Tait, The law of excluded middle and the Axiom of Choice, Mathematics and Mind, pp.45-70, 1994.

T. Tulenheimo, Independence Friendly Logic The Stanford Encyclopedia of Philosophy, URL http, 2009.

T. Tulenheimo, On Some Logic Games in Their Philosophical Context, 2011.
DOI : 10.1007/978-3-642-19211-1_6
URL : https://hal.archives-ouvertes.fr/halshs-00652262

W. Walkoe, Finite partially-ordered quantification, The Journal of Symbolic Logic, vol.16, issue.04, pp.535-555, 1970.
DOI : 10.1090/S0002-9904-1956-10036-0

J. Väänänen, Abstract, Bulletin of Symbolic Logic, vol.35, issue.04, pp.504-520, 2001.
DOI : 10.2307/2266967

J. Van-benthem, Exploring Logical Dynamics, 1996.

J. Van-benthem, Correspondence Theory Handbook of Philosophical Logic, pp.167-247, 1984.

J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.
DOI : 10.1017/CBO9780511974533

J. Van-benthem, Logic in Games, 2014.

H. Van-ditmarsch, W. Van-der-hoek, and B. Kooi, Dynamic Epistemic Logic, 2007.
DOI : 10.1007/978-1-4020-5839-4
URL : https://hal.archives-ouvertes.fr/hal-00868361