9 Diagrammatic logic and game-playing

[1]  C. Peirce.  Studies in Logic by Members of the Johns Hopkins University , 1883 .

[2]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[3]  Jaakko Hintikka,et al.  Logic, Language-Games And Information , 1972 .

[4]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[5]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[6]  R. Hilpinen.  On C. S. Peirce's Theory of the Proposition: Peirce as a Precursor of Game-Theoretical Semantics , 1982 .

[7]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[8]  J. Hintikka,et al.  The game of language : studies in game-theoretical semantics and its applications , 1983 .

[9]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[10]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[11]  Radha Jagadeesan,et al.  Games and Full Completeness for Multiplicative Linear Logic , 1994, J. Symb. Log..

[12]  J. Hintikka.  The Principles of Mathematics Revisited: Introduction , 1996 .

[13]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[14]  M. de Rijke,et al.  Logic, Language and Computation , 1997 .

[15]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[16]  Samson Abramsky,et al.  Concurrent games and full completeness , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[17]  G. Brady,et al.  A categorical interpretation of C.S. Peirce's propositional logic Alpha , 2000 .

[18]  Thomas A. Henzinger,et al.  Concurrent omega-regular games , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

[19]  A. Pietarinen.  Intentional identity revisited , 2001 .

[20]  A. Pietarinen.  Peirce's game-theoretic ideas in logic , 2003 .

[21]  Ahti-Veikko Pietarinen,et al.  Semantic Games In Logic and Epistemology , 2004, Logic, Epistemology, and the Unity of Science.

[22]  Shahid Rahman,et al.  Dialogical Connexive Logic , 2001, Synthese.

[23]  Shahid Rahman,et al.  Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.

[24]  J. Cheney,et al.  A sequent calculus for nominal logic , 2004, LICS 2004.

[25]  Robert W. Burch,et al.  Game-theoretical semantics for Peirce's existential graphs , 1994, Synthese.