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

E. M. Barth and E. C. Krabbe, From Axiom to Dialogue. A Philosophical Study of Logic and Argumentation, de Gruyter, 1982.

E. Bencivenga, Free Logics, Handbook of Philosophical Logic III, D. Reidel, pp.373-426, 1983.

P. Blackburn, Representation, reasoning, and relational structures: a hybrid logic manifesto, Logic Journal of IGPL, vol.8, issue.3, pp.339-625, 2000.
DOI : 10.1093/jigpal/8.3.339

P. Blackburn, Modal logic as dialogical logic, pp.57-93, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

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

A. Blass, Some semantical aspects of linear logic, Logic Journal of IGPL, vol.5, issue.4, pp.115-126, 1998.
DOI : 10.1093/jigpal/5.4.487

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

P. Geach, Reference and Generality: An Examination of Some Medieval and Modern Theories, 1962.

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

G. Haas, Hypothesendialoge, konstrucktiver Sequenzenkalkül une die Rechtfertigung von Dialograhmenregeln, Theorie des wissenschaftlichen Argumentierens, 1980.

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, 1989.

R. Frolov and . Hilpinen, Logic, Methodology and Philosophy of Science, pp.571-589

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.

L. Keiff, Heuristique formelle et logiques modales non-normales, Philosophia Scientae, vol.8, issue.8-2, pp.39-59, 2004.
DOI : 10.4000/philosophiascientiae.562

URL : https://hal.archives-ouvertes.fr/halshs-00275777

L. Keiff, Dialogocal Logic " , text en ligne: Stanford Encyclopedia of Philosophy, 2006.

K. Lorenz, Basin Objectives of Dialogue Logic in Historical Perspective, pp.255-263, 2001.

P. Lorenzen, Logik und Agon Arti del XII Congresso Internationale de Filosofia, Venezia, pp.187-194, 1958.

H. Prakken, Coherence and Flexibility in Dialogue Games for Argumentation, Journal of Logic and Computation, vol.15, issue.6, pp.1009-1040, 2005.
DOI : 10.1093/logcom/exi046

S. Read, Thinking about logic, 1994.

S. Rahman, On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics, Essays on Non-Classical Logic, pp.61-85, 2001.
DOI : 10.1142/9789812799746_0003

URL : https://hal.archives-ouvertes.fr/halshs-01226082

S. Rahman, Non-normal Dialogics for a wonderful world and more " to appear in Philosophical Insights into Logic and, LEUS, 2002.

S. Rahman and J. P. Van-bendegem, The Dialogical Dynamics of Adaptive Paraconsistency, Paraconsistency, the dialogical way to the inconsistent, p.295, 2002.
DOI : 10.1201/9780203910139.ch13

URL : https://hal.archives-ouvertes.fr/halshs-01228976

S. Rahman and W. A. Carnielli, The Dialogical Approach to Paraconsistency, Synthese, vol.125, issue.1/2, pp.201-232, 2000.
DOI : 10.1023/A:1005294523930

URL : https://hal.archives-ouvertes.fr/halshs-00713282

S. Rahman and L. Keiff, On How to Be a Dialogician, Thought and Action, pp.359-408, 2004.
DOI : 10.1007/1-4020-3167-X_17

URL : https://hal.archives-ouvertes.fr/halshs-00195931

S. Rahman, Dialogique Standard: Notions fondamentales, texte en ligne, 2004.

S. Rahman and H. Rückert, Dialogical Connexive Logic, pp.105-139, 2001.
URL : https://hal.archives-ouvertes.fr/halshs-00713281

S. Rahman and H. Rückert, New Perspectives in Dialogical Logic", special issue of Synthese, 2001.

S. Rahman and T. Tulenheimo, From Games to Dialogues and Back, Games: Unifying Logic, Language and Philosophy, 2006.
DOI : 10.1007/978-1-4020-9374-6_8

URL : https://hal.archives-ouvertes.fr/halshs-00713228

G. Restall, An Introduction to Substructural Logics, 2000.
DOI : 10.4324/9780203252642

G. Restall, Carnap's Tolerance, Meaning, and Logical Pluralism, The Journal of Philosophy, vol.99, issue.8, pp.426-443, 2002.
DOI : 10.2307/3655622

E. Saarinen, Dialogue Semantics versus Game-Theoretical Semantics, Proceedings of the Biennial Meeting of the Philosophy of Science Association (PSA): Symposia and Invited Papers, pp.41-59, 1978.
DOI : 10.1086/psaprocbienmeetp.1978.2.192461

W. Stegmueller, K. Lorenzen, and . Lorenz, Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz., Notre Dame Journal of Formal Logic, vol.5, issue.2, pp.81-112, 1964.
DOI : 10.1305/ndjfl/1093957800

S. Toulmin, The Uses of Argument, 1958.
DOI : 10.1017/CBO9780511840005

J. Woods, A. Irvine, and D. Walton, Argument: Critical Thinking Logic and The Fallacies, Journal of Symbolic Logic, vol.11, pp.33-64, 1946.

J. Copeland, Meredith, Prior, and the History of Possible Worlds Semantics, Synthese, pp.373-397, 2006.
DOI : 10.1007/s11229-005-5514-9

S. Kanger, The Morning Star Paradox, Theoria, vol.23, issue.1, pp.1-11, 1957.
DOI : 10.1111/j.1755-2567.1957.tb00263.x

P. Blackburn, Modal logic as dialogical logic, pp.57-93, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

M. J. Creswell, Intensional logics and logical truth, Journal of Philosophical Logic, vol.34, issue.1, pp.2-15, 1972.
DOI : 10.1007/BF00649986

A. Church, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol.1, issue.02, 1940.
DOI : 10.2307/2371199

M. Fitting, Proof Methods for Modal and Intuitionistic Logic, 1983.
DOI : 10.1007/978-94-017-2794-5

M. Fitting and R. L. Mendelsohn, First-Order Modal Logic, 1998.
DOI : 10.1007/978-94-011-5292-1

R. Girle, Epistemic logic; language and concepts, Logique et Analyse, pp.359-373, 1973.

R. Girle, Modal Logics and Philosophy, Montreal, McGill-Queen's University Press, 2000.

I. Grattan-guinness, Are other logics possible? MacColl's logic and some English reactions, 1905- 1912, Nordic Journal of Philosophical Logic, vol.3, issue.1, pp.1-16, 1998.

J. Hintikka, J. Reedited-in-hintikka, and M. B. , Impossible Possible Worlds Vindicated The Logic of Epistemology and the Epistemology of Logic, Journal of Symbolic Logic Husserl; Logical investigation Husserl, E, vol.4, pp.475-484, 1929.

S. Kripke, SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI, In J
DOI : 10.1016/B978-0-7204-2233-7.50026-5

P. Lorenzen, Logik und Agon Arti del XII Congresso Internationale de Filosofia, Venezia, pp.187-194, 1958.

S. Mccall, Aristotle's Modal Syllogisms, 1963.

S. Mccall, The Encyclopedia of Philosophy, pp.545-546, 1967.

H. Maccoll, P. Plato, and G. Priest, Symbolic Logic and its applicationsWhat is a Non-Normal World? Logique et Analyse, pp.291-302, 1906.

G. Priest, Editor's introduction". Special issue on "Impossible Worlds, of the Notre Dame Journal of Formal Logic, vol.31, pp.481-487, 1998.

G. Priest, An Introduction to Non-Classical Logic. Cambridge, 2001.

. Rahman, Hugh maccoll: eine bibliographische erschlie??ung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte, History and Philosophy of Logic, vol.7, issue.3, pp.165-183, 1997.
DOI : 10.1080/01445349508837238

. Rahman, Ways of understanding Hugh MacColl's concept of symbolic existence, Nordic Journal of Philosophical Logic, vol.3, issue.1, pp.35-58, 1998.

S. Rahman and L. Keiff, On How to Be a Dialogician, Logic and Action, 2003.
DOI : 10.1007/1-4020-3167-X_17

URL : https://hal.archives-ouvertes.fr/halshs-00195931

S. Rahman, R. Hfür, T. , B. , and S. , Dialogische Modallogik, Logique et Analyse, pp.167-168, 2001.
URL : https://hal.archives-ouvertes.fr/halshs-00713297

V. Rantala, Urn models: A new kind of non-standard model for first-order logic, Journal of Philosophical Logic, vol.4, issue.4, pp.455-474, 1975.
DOI : 10.1007/BF00558760

S. Read, Hugh MacColl and the algebra of implication, Nordic Journal of Philosophical Logic, vol.3, issue.1, pp.59-84, 1998.

S. Read, Thinking About Logic, 1994.

G. Restall, Simplified semantics for relevant logics (and some of their rivals), Journal of Philosophical Logic, vol.68, issue.5, pp.481-511, 1993.
DOI : 10.1007/BF01349561

R. Routley, V. Pluwood, R. K. Meyer, and R. Brady, Relevant Logics and their Rivals Wittgenstein, Tractatus Wolenski I, MacColl on Modalities ". Nordic Journal of Philosophical Logic, vol.3, issue.1, pp.133-140, 1982.

L. De-hecho, . Lógica-dialógica-desarrollada-por-paul-lorenzen-y-kuno, and . Lorenz, fue el resultado de una solución a algunos de los problemas que se suscitan en la Lógica Operativa de Lorenzen (1955) -para una discusión sobre las ideas y las deficiencias de la Lógica Operativa, 2008.

/. Lorenzen, /. Schwemmer-redmond, and . Fontaine, Los artículos de Keiff contienen un estudio de lógica dialógica modal. Fiutek et al. (2010) estudian el enfoque dialógico de revisión de creencias. Clerbout / Gorisse / Rahman (2011) estudian la lógica de los Jainas en el marco dialógico. Popek (2012) desarrolla una reconstrucción dialógica de las obligationes medievales) estudian los vínculos entre el GTS y la lógica dialógica. Otros libros son Redmond (2010) ? que discute el tema de la ficción en el contexto dialógico -Fontaine (2013) ? que enlaza intencionalidad, ficción y diálogos -y Magnier, que desarrolla, en un marco dialógico, aplicaciones de la lógica epistémica dinámica para el razonamiento jurídico. Rahman y sus colaboradores comenzaron recientemente a estudiar el enfoque dialógico de la CTT -ver Clerbout / Rahman, 1975.

N. Clerbout, First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, pp.1-17, 2014.
DOI : 10.1007/s10992-013-9289-z

N. Clerbout, Etude sur quelques semantiques dialogiques: Concepts fondamentaux et éléments de metathéorie, 2014.

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, 2013.
URL : https://hal.archives-ouvertes.fr/halshs-01225767

N. Clerbout and S. Rahman, Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies as CTT-Demonstrations, 2015.
DOI : 10.1007/978-3-319-19063-1

A. B. Dango, Des dialogues aux tableaux dans le contexte de révision de croyances : De l'oralité à l'écriture, 2014.

A. B. Dango, Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types, 2015.

M. Dummett, Frege: Philosophy of Language, 1973.

M. Dummett, The Logical Basis of Metaphysics, 1991.

M. Dummett, Language and Truth, The Seas of Language, M. Dummet, 1993.
DOI : 10.1093/0198236212.003.0005

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

. 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. Granström, Treatise on Intuitionistic Type Theory The Science of Logic, 2010.

G. W. Hegel, Wissenschaft der Logik, 1999.

G. W. Hegel, The Science of Logic, 2010.

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

R. Jovanovic, Hintikkas Take on the Axiom of Choice and the Constructivist Challenge, Revista de Humanidades de Valparaiso, 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 largumentation formelle, 2007.

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

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, New Perspectives in Dialogical Logic, special volume Synthese, pp.255-263, 2001.

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 and H. R. Forthcoming, Aristotle on Universal Quantification: A Study form the Perspective of Game Semantics, 2015.

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, pp.345-350, 2006.

A. Popek, Logical dialogues from Middle Ages, Logic of Knowledge, pp.223-244, 2012.

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 judgmental 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

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

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 " . The Baltic International Yearbook of Cognition, Logic and Communication:Games, Game Theory and Game Semantics, pp.1-72, 2013.
URL : https://hal.archives-ouvertes.fr/halshs-01225723

S. Rahman and N. Clerbout, Constructive Type Theory and the Dialogical Turn, Dialogische Logik, pp.91-148, 2014.
URL : https://hal.archives-ouvertes.fr/halshs-01226069

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

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.

L. Rahman and . 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, R. Jovanovic, and N. Clerbout, The Dialogical Take on Martin-Löf's Proof of the Axiom of Choice, South American Journal of Logic, pp.179-208, 2015.

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, A Dialogical Frame for Fictions as Hypothetical Objects, Unisinos, 2015.
URL : https://hal.archives-ouvertes.fr/halshs-01216227

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 T. Tulenheimo, From Games to Dialogues and Back, 2009.
DOI : 10.1007/978-1-4020-9374-6_8

URL : https://hal.archives-ouvertes.fr/halshs-00713228

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

R. Recorde, The Whetstone of Witte, 1577.

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.

P. Schröder-heister, Lorenzen???s operative justification of intuitionistic logic, One Hundred Years of Intuitionism Basel: Birkhäuser, pp.214-240, 1907.
DOI : 10.1007/978-3-7643-8653-5_14

G. Sundholm, 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 Judgment 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.

L. Wittgenstein, Tractatus-Logico-Philosophicus, 1998.