Game-Theoretical Semantics

[1]  Gabriel Sandu,et al.  If-Logic and Truth-definition , 1998, J. Philos. Log..

[2]  Wilfrid Hodges,et al.  Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.

[3]  J. Hintikka,et al.  Semantics and Pragmatics For Why-Questions , 1995 .

[4]  Gabriel Sandu,et al.  On the logic of informational independence and its applications , 1993, J. Philos. Log..

[5]  Radha Jagadeesan,et al.  Games and full completeness for multiplicative linear logic , 1992, Journal of Symbolic Logic.

[6]  Andreas Blass,et al.  A Game Semantics for Linear Logic , 1992, Ann. Pure Appl. Log..

[7]  Prashant Parikh,et al.  A Game-Theoretic Account of Implicature , 1992, TARK.

[8]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[9]  Jaakko Hintikka,et al.  WHAT IS THE LOGIC OF EXPERIMENTAL INQUIRY , 1988 .

[10]  Michael Hand.  Semantical games, verification procedures, and wellformedness , 1987 .

[11]  George Boolos,et al.  To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables) , 1984 .

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

[13]  J. Hintikka.  Temporal discourse and semantical games , 1982 .

[14]  Alistair H. Lachlan,et al.  On the semantics of the Henkin quantifier , 1979, Journal of Symbolic Logic.

[15]  Jaakko Hintikka,et al.  A new approach to infinitary languages , 1976 .

[16]  Jon Barwise,et al.  Some applications of Henkin quantifiers , 1976 .

[17]  Erik Stenius,et al.  Comments on Jaakko Hintikka's paper “Quantifiers vs. Quantification theory”* , 1976 .

[18]  Jaakko Hintikka,et al.  Impossible possible worlds vindicated , 1975, J. Philos. Log..

[19]  Veikko Rantala,et al.  Urn models: A new kind of non-standard model for first-order logic , 1975, J. Philos. Log..

[20]  James P. Jones,et al.  Recursive Undecidability — An Exposition , 1974 .

[21]  Jaakko Hintikka,et al.  Quantifiers vs. Quantification Theory , 1973 .

[22]  Wilbur John Walkoe,et al.  Finite Partially-Ordered Quantification , 1970, J. Symb. Log..

[23]  Kuno Lorenz,et al.  Dialogspiele als Semantische Grundlage von Logikkalkülen , 1968 .

[24]  Robert L. Vaught,et al.  Sentences true in all constructive models , 1960, Journal of Symbolic Logic.

[25]  Michael O. Rabin,et al.  6. EFFECTIVE COMPUTABILITY OF WINNING STRATEGIES , 1958 .

[26]  Jaakko Hintikka,et al.  Identity, variables, and impredicative definitions , 1956, Journal of Symbolic Logic.

[27]  Philip Wolfe,et al.  Contributions to the theory of games , 1953 .

[28]  J. Neumann.  Zur Theorie der Gesellschaftsspiele , 1928 .

[29]  Jaakko Hintikka,et al.  Paradigms for Language Theory , 1998 .

[30]  Jaakko Hintikka,et al.  No scope for scope , 1998 .

[31]  Jaakko Hintikka,et al.  New Foundations for Mathematical Theories , 1998 .

[32]  Jaakko Hintikka,et al.  Defining Truth, the Whole Truth and Nothing but the Truth , 1997 .

[33]  Jaakko Hintikka,et al.  What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic , 1995 .

[34]  Lauri Hella,et al.  Partially Ordered Connectives and Finite Graphs , 1995 .

[35]  Suomen Filosofinen Yhdistys,et al.  Obligationes 14th Century Logic of Disputational Duties , 1994 .

[36]  Gabriel Sandu,et al.  Partially Ordered Connectives , 1992, Math. Log. Q..

[37]  Steven T. Kuhn.  Tense and Time , 1989 .

[38]  Jaakko Hintikka,et al.  The Role of Logic in Argumentation , 1989 .

[39]  J. Hintikka,et al.  Informational Independence as a Semantical Phenomenon , 1989 .

[40]  J. Hintikka.  The Varieties of Being in Aristotle , 1986 .

[41]  W. Hodges.  Elementary Predicate Logic , 1983 .

[42]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[43]  Erik C. W. Krabbe,et al.  Studies in Dialogical Logic , 1982 .

[44]  Alice Ter Meulen,et al.  Informational Independence in Intensional Context , 1979 .

[45]  Jaakko Hintikka,et al.  Conditionals, Generic Quantifiers, and Other Applications of Subgames , 1979 .

[46]  K. Jon Barwise,et al.  On branching quantifiers in English , 1979, J. Philos. Log..

[47]  M. Makkai.  Admissible Sets and Infinitary Logic , 1977 .

[48]  Howard Lasnik,et al.  On the Semantics of Negation , 1975 .

[49]  H. Enderton.  Finite Partially-Ordered Quantifiers , 1970 .

[50]  Jens Erik Fenstad,et al.  The axiom of determinateness , 1970 .

[51]  A. Ehrenfeucht.  An application of games to the completeness problem for formalized theories , 1961 .

[52]  Evert W. Beth,et al.  Semantic Entailment And Formal Derivability , 1955 .

[53]  R. Fraïssé.  Sur l'extension aux relations de quelques propriétés des ordres , 1954 .

[54]  J. Hintikka.  Distributive normal forms in the calculus of predicates , 1953 .