(x)) [ 11] 13 O L ? (v) : A [? 12] 13 O R ? ?v, pp.15-17 ,
From Axiom to Dialogue. A Philosophical Study of Logic and Argumentation, de Gruyter, 1982. ,
Free Logics, Handbook of Philosophical Logic III, D. Reidel, pp.373-426, 1983. ,
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
Modal logic as dialogical logic, pp.57-93, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100503
A game semantics for linear logic, Annals of Pure and Applied Logic, pp.183-220, 1992. ,
DOI : 10.1016/0168-0072(92)90073-9
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
Dialogues as a foundation for intuitionistic logic, Handbook of Philosophical Logic, 1985. ,
Reference and Generality: An Examination of Some Medieval and Modern Theories, 1962. ,
On the meaning of logical rules I: syntax vs. semantics, Computational Logic, pp.215-272, 1999. ,
Hypothesendialoge, konstrucktiver Sequenzenkalkül une die Rechtfertigung von Dialograhmenregeln, Theorie des wissenschaftlichen Argumentierens, 1980. ,
Knowledge and Belief, 1962. ,
Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, 1973. ,
The Principles of Mathematics Revisited, 1996. ,
DOI : 10.1017/CBO9780511624919
Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy, 1996. ,
DOI : 10.1007/978-94-015-8601-6
Defining Truth, the Whole Truth and Nothing but the Truth. Helsinki: University of Helsinki -Reports from the Department of Philosophy, 1997. ,
Inquiry as Inquiry: A Logic of Scientific Discovery, 1999. ,
DOI : 10.1007/978-94-015-9313-7
Anaphora and Definite Descriptions, Two Applications of Game-Theoretical Semantics, 1985. ,
Informational Independence as a Semantical Phenomenon, 1989. ,
Logic, Methodology and Philosophy of Science, pp.571-589 ,
Game-theoretical semantics, Handbook of Logic and Language, pp.361-410, 1997. ,
Interrogative Logic as a General Theory of Reasoning, Hintikka, pp.47-90, 1999. ,
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
Dialogocal Logic " , text en ligne: Stanford Encyclopedia of Philosophy, 2006. ,
Basin Objectives of Dialogue Logic in Historical Perspective, pp.255-263, 2001. ,
Logik und Agon Arti del XII Congresso Internationale de Filosofia, Venezia, pp.187-194, 1958. ,
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
Thinking about logic, 1994. ,
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
Non-normal Dialogics for a wonderful world and more " to appear in Philosophical Insights into Logic and, LEUS, 2002. ,
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
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
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
Dialogique Standard: Notions fondamentales, texte en ligne, 2004. ,
Dialogical Connexive Logic, pp.105-139, 2001. ,
URL : https://hal.archives-ouvertes.fr/halshs-00713281
New Perspectives in Dialogical Logic", special issue of Synthese, 2001. ,
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
An Introduction to Substructural Logics, 2000. ,
DOI : 10.4324/9780203252642
Carnap's Tolerance, Meaning, and Logical Pluralism, The Journal of Philosophy, vol.99, issue.8, pp.426-443, 2002. ,
DOI : 10.2307/3655622
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
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
The Uses of Argument, 1958. ,
DOI : 10.1017/CBO9780511840005
Argument: Critical Thinking Logic and The Fallacies, Journal of Symbolic Logic, vol.11, pp.33-64, 1946. ,
Meredith, Prior, and the History of Possible Worlds Semantics, Synthese, pp.373-397, 2006. ,
DOI : 10.1007/s11229-005-5514-9
The Morning Star Paradox, Theoria, vol.23, issue.1, pp.1-11, 1957. ,
DOI : 10.1111/j.1755-2567.1957.tb00263.x
Modal logic as dialogical logic, pp.57-93, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100503
Intensional logics and logical truth, Journal of Philosophical Logic, vol.34, issue.1, pp.2-15, 1972. ,
DOI : 10.1007/BF00649986
A formulation of the simple theory of types, The Journal of Symbolic Logic, vol.1, issue.02, 1940. ,
DOI : 10.2307/2371199
Proof Methods for Modal and Intuitionistic Logic, 1983. ,
DOI : 10.1007/978-94-017-2794-5
First-Order Modal Logic, 1998. ,
DOI : 10.1007/978-94-011-5292-1
Epistemic logic; language and concepts, Logique et Analyse, pp.359-373, 1973. ,
Modal Logics and Philosophy, Montreal, McGill-Queen's University Press, 2000. ,
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. ,
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. ,
SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI, In J ,
DOI : 10.1016/B978-0-7204-2233-7.50026-5
Logik und Agon Arti del XII Congresso Internationale de Filosofia, Venezia, pp.187-194, 1958. ,
Aristotle's Modal Syllogisms, 1963. ,
The Encyclopedia of Philosophy, pp.545-546, 1967. ,
Symbolic Logic and its applicationsWhat is a Non-Normal World? Logique et Analyse, pp.291-302, 1906. ,
Editor's introduction". Special issue on "Impossible Worlds, of the Notre Dame Journal of Formal Logic, vol.31, pp.481-487, 1998. ,
An Introduction to Non-Classical Logic. Cambridge, 2001. ,
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
Ways of understanding Hugh MacColl's concept of symbolic existence, Nordic Journal of Philosophical Logic, vol.3, issue.1, pp.35-58, 1998. ,
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
Dialogische Modallogik, Logique et Analyse, pp.167-168, 2001. ,
URL : https://hal.archives-ouvertes.fr/halshs-00713297
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
Hugh MacColl and the algebra of implication, Nordic Journal of Philosophical Logic, vol.3, issue.1, pp.59-84, 1998. ,
Thinking About Logic, 1994. ,
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
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. ,
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. ,
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. ,
First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, pp.1-17, 2014. ,
DOI : 10.1007/s10992-013-9289-z
Etude sur quelques semantiques dialogiques: Concepts fondamentaux et éléments de metathéorie, 2014. ,
Finiteness of Plays and the Dialogical Problem of Decidability, IfCoLog Journal of Logics and their Applications, vol.1, issue.1, pp.115-130, 2014. ,
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
On Dialogues, Predication and Elementary Sentences, 2013. ,
URL : https://hal.archives-ouvertes.fr/halshs-01225767
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies as CTT-Demonstrations, 2015. ,
DOI : 10.1007/978-3-319-19063-1
Des dialogues aux tableaux dans le contexte de révision de croyances : De l'oralité à l'écriture, 2014. ,
Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types, 2015. ,
Frege: Philosophy of Language, 1973. ,
The Logical Basis of Metaphysics, 1991. ,
Language and Truth, The Seas of Language, M. Dummet, 1993. ,
DOI : 10.1093/0198236212.003.0005
Dialogues as a foundation for intuitionistic logic, Handbook of Philosophical Logic, pp.341-372, 1985. ,
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
A dialogical semantics for Bonannos system of belief revision, Constructions, pp.315-334, 2010. ,
Argumentation et engagement ontologique. Être, c'est être choisi, 2013. ,
URL : https://hal.archives-ouvertes.fr/tel-01137248
Treatise on Intuitionistic Type Theory The Science of Logic, 2010. ,
Wissenschaft der Logik, 1999. ,
The Science of Logic, 2010. ,
Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, 1973. ,
Hintikkas Take on the Axiom of Choice and the Constructivist Challenge, Revista de Humanidades de Valparaiso, pp.135-152, 2013. ,
Logische Propädeutik, 1972. ,
Logical Propaedeutic, Lanham Md, 1972. ,
Le Pluralisme Dialogique: Approches dynamiques de largumentation formelle, 2007. ,
Dialogical Logic The Stanford Encyclopedia of Philosophy, URL http, 2009. ,
Elemente der Sprachkritik.Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie, 1970. ,
Basic objectives of dialogue logic in historical perspective, New Perspectives in Dialogical Logic, special volume Synthese, pp.255-263, 2001. ,
Logic, Language and Method: On Polarities in Human Experience, 2010. ,
DOI : 10.1515/9783110216790
Philosophische Variationen: Gesammelte Aufstze unter Einschluss gemeinsam mit J¨urgen Mittelstraß geschriebener Arbeiten zu Platon und Leibniz, 2010. ,
DOI : 10.1515/9783110218800
Einführung in die operative Logik und Mathematik, 1995. ,
Dialogische Logik, 1978. ,
Konstruktive Logik, Ethik und Wissenschaftstheorie, Mannheim: Bibliographisches Institut, 1975. ,
Approche dialogique de la dynamique épistémique et de la condition juridique, 2013. ,
Aristotle on Universal Quantification: A Study form the Perspective of Game Semantics, 2015. ,
Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, 1980. ,
100 years of Zermelo's axiom of choice: what was the problem with it?". The Computer Journal, pp.345-350, 2006. ,
Logical dialogues from Middle Ages, Logic of Knowledge, pp.223-244, 2012. ,
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
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
Constructive modalities for information " , Talk given at the Young Researchers Days in Logic, Philosophy and History of Science, pp.1-2, 2008. ,
A contextual type theory with judgmental modalities for reasoning from open assumptions, Logique et Analyse, pp.579-600, 2012. ,
Über Dialogue, Protologische Kategorien und andere Seltenheiten, 1993. ,
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
From Dialogue To Dialogue: Conversations and the Dialogical Approach to Meaning, 2014. ,
URL : https://hal.archives-ouvertes.fr/halshs-01226071
De l'orature à l'écriture, London-King's College: College Publications, pp.70-106 ,
On Hypothetical Judgements and Leibniz???s Notion of Conditional Right, 2015. ,
DOI : 10.1007/978-3-319-16021-4_7
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
Constructive Type Theory and the Dialogical Turn, Dialogische Logik, pp.91-148, 2014. ,
URL : https://hal.archives-ouvertes.fr/halshs-01226069
Constructive Type Theory and the Dialogical Turn ? A new Approach to Erlangen Constructivism, Dialogische Logik, pp.127-184, 2015. ,
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. ,
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
The Dialogical Take on Martin-Löf's Proof of the Axiom of Choice, South American Journal of Logic, pp.179-208, 2015. ,
La Dialectique entre logique et rhetorique, pp.149-178, 2010. ,
URL : https://hal.archives-ouvertes.fr/halshs-01216206
A Dialogical Frame for Fictions as Hypothetical Objects, Unisinos, 2015. ,
URL : https://hal.archives-ouvertes.fr/halshs-01216227
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. ,
From Games to Dialogues and Back, 2009. ,
DOI : 10.1007/978-1-4020-9374-6_8
URL : https://hal.archives-ouvertes.fr/halshs-00713228
Propositions as games as types, Synthese, vol.42, issue.3, pp.377-395, 1988. ,
DOI : 10.1007/BF00869607
Constructing possible worlds*, Theoria, vol.15, issue.1-2, pp.77-99, 1991. ,
DOI : 10.1111/j.1755-2567.1991.tb00541.x
Type-Theoretical Grammar, 1994. ,
Harmony and modality, Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, pp.285-303, 2008. ,
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
The Whetstone of Witte, 1577. ,
Logique dynamique de la fiction: Pour une approche dialogique, 2010. ,
How to Play Dialogues: An Introduction to Dialogical Logic, 2011. ,
Dialogues as a Dynamic Framework for Logic, 2011. ,
The Conception of Validity in Dialogical Logic, Talk at the workshop Proofs and Dialogues, 2011. ,
Studies in Game-Theoretical Logics and Semantics, 1991. ,
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
Proof-theory and meaning Handbook of Philosophical Logic, pp.471-506, 1986. ,
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
Inference versus Consequence The Logica Yearbook, Filosofia, pp.26-36, 1997. ,
A Plea for Logical Atavism The Logica Yearbook, Filosofia, pp.151-162, 2000. ,
A Century of Judgment and Inference The Development of Modern Logic, pp.1837-1936, 2009. ,
Independence Friendly Language is First Order after all, Logique et Analyse, 2013. ,
Inference and Consequence in an Interpeted Language, Talk at the Workshop PROOF THEORY AND PHILOSOPHY, 2013. ,
Tractatus-Logico-Philosophicus, 1998. ,