Bibliographie

Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 211-223.

[1] Abramsky, S. 1996.- Semantics of Interaction : an Introduction to Game Semantics, in [Dybjer et al. 1996, 1-31]. | MR | Zbl

[2] Alur, R., T. Henzinger & O. Kupferman 1997.- Alternating-time temporal logic, in Proc. 38th FOCS, 100-109. | MR

[3] Anscombre, J.C. & O. Ducrot 1983.- L'Argumentation dans la Langue, Bruxelles : Mardaga, 1983.

[4] Arrow, K.J. 1963.- Social Choice and Individual Values, New York : Wiley, 1963. | Zbl

[5] Aucher, G. 2003.- A Combined System of Update Logic and Belief Revision, Master of Logic Thesis, Amsterdam : ILLC, 2003.

[6] Axelrod, R. 1984.- The Evolution of Cooperation, New York : Basic Books, 1984. :

[7] Balbiani, P., N.-Y. Suzuki, F. Wolter & M. Zakharyaschev (eds.) 2003.- Advances in Modal Logic, vol. 4, London : King's College Publications, 2003. | MR

[8] Baltag, A., L. Moss & S. Solecki 1998.- The Logic of Public Announcements, Common Knowledge and Private Suspicions, Proceedings TARK 1998, Los Altos : Morgan Kaufmann, 1998, 43-56.

[9] Barth, E. and Krabbe, E. 1982.- From Axiom to Dialogue : A Philosophical Study of Logics and Argumentation, Berlin, New York : De Gruyter, 1982. | MR | Zbl

[10] Batens, D. 2003.- A General Characterization of Adaptive Logics, Logique & Analyse, vol. 173-175, 45-68. | MR | Zbl

[11] Behounek, L. (éd.) 2004.- The Logica Yearbook 2003, Prague : Filosofia, 2004.

[12] Belnap, N., M. Perloff & M. Xu 2001.- Facing the Future, Oxford : Oxford University Press, 2001.

[13] Bendegem, J. Van 2001.- Paraconsistency and Dialogue Logic : Critical Examination and further Explorations, Synthese 127, 35-55. | MR | Zbl

[14] Benthem, J. van 1989.- ‘Semantic parallels in natural language and computation' in [Ebbinghuas 1989, 331-75]. | MR

[15] Benthem, J. van 2001a.- Logic in Games, Lecture notes, Amsterdam : ILLC, 2001.

[16] Benthem, J. van 2001b.- (ed.) Theoretical Aspects of Rationality and Knowledge, Proceedings of the Eighth Conference (TARK 2001), San Francisco : Morgan Kaufmann, 2001.

[17] Benthem, J. van 2001c.- Games in Dynamic-Epistemic Logic, Bulletin of Economic Research 53 :4, 219-48 (Proceedings LOFT-4, Torino). | MR

[18] Benthem, J. van 2002.- One is a Lonely Number : On the Logic of Communication, Tech Report PP-2002-27, Amsterdam : ILLC, 2002.

[19] Benthem, J. van 2003.- Conditional Probability Meets Update Logic, Journal of Logic, Language and Information 12, 409-21. | MR | Zbl

[20] Benthem, J. van 2004a.- A Mini-Guide to Logic in Action, Philosophical Researches, Beijing : Supp : 21-30. | MR

[21] Benthem, J. van 2004b.- Local versus Global Update in Games, Stanford : Department of Philosophy, Stanford University, working paper.

[22] Benthem, J. van & B. ten Cate 2003.- Automata and Update Agents in Event Trees, Stanford : Department of Philosophy, Stanford University, working paper.

[23] Benthem, J. van & B. F. Liu 2004.- Diversity of Logical Agents in Games, Research Report PP-2004-13, Amsterdam : ILLC, 2004.

[24] Benthem, J. van & A. ter Meulen (eds.) 1997.- Handbook of Logic and Language, Amsterdam : Elsevier, 1997. | MR | Zbl

[25] Benthem J. Van, G. Heinzmann, M. Rebuschi & H. Visser (eds.) 2004.- The Age of Alternative Logics, Dordrecht : Kluwer, à paraître. | MR

[26] J. A. Bergstra, Ponse, A. & Smolka, S.A. 2001.- Handbook of Process Algebra, New York : Elsevier, 2001. | MR | Zbl

[27] Blackburn, P. 2001a.- Modal logic as dialogical logic, Synthese 127, 57-93. | MR | Zbl

[28] Blackburn, P. 2001b.- Fine grained theories of time, in [Wansing 2001, 1-36]. | MR | Zbl

[29] Blackburn, P., De Rijke, M. & Venema, Y. 2002.- Modal Logic, Cambridge : Cambridge University Press, 2002. | Zbl

[30] Blackburn, P. & J. Seligman 1998.- What are Hybrid Languages ?, in [Kracht et al., 1998, 41-62]. | MR | Zbl

[31] Blackburn, P. & M. Tzakova 1999.- Hybrid languages and Temporal logic, Logic Journal of the IGPL, 7(1), 27-54. | MR | Zbl

[32] Blass, Andreas 1998.- Some Semantical Aspects of Linear Logic, Journal of the Interest Group in Pure and Applied Logic 5, 115-126. | MR

[33] Borel, E. 1921.- La Théorie du jeu et les équations intégrales à noyau symétrique, Comptes rendus hebdomadaires des Séances de l'Académie des Sciences, 173, 1304-8. | JFM

[34] Bonanno, G., E. Colombatto & W. Van Der Hoek (eds.) 2002.- Fifth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 5), Turin, ICER.

[35] Bonanno, G., E. Colombatto & W. Van Der Hoek (eds.) 2004.- Memory and Perfect Recall in Extensive Games, Games and Economic Behavior 47 : 237-56. | Zbl

[36] Boutilier, C. 1994.- Towards a logic for qualitative decision theory, Proceedings of the Fourth International Conference on Knowledge Representation and Reasoning (KR'94), 75-86, San Francisco : Morgan Kaufmann.

[37] Bradfield, J.C. 1999.- Fixpoints in arithmetic, transition systems and trees, Theoretical Informatics and Applications, 33, 341-356. | Numdam | MR | Zbl

[38] Bradfield, J.C. 2000.- Independence : logics and concurrency, Proc. CSL 2000, LNCS 1862, 247-261. | MR | Zbl

[39] Bradfield, J.C. 2003.- Parity of imperfection, Proc. CSL 2003, LNCS 2803, 72-85. | MR | Zbl

[40] Bradfield, J.C. & S. B. Fröschle 2002.- Independence-friendly modal logic and true concurrency, Nordic Journal of Computing 9, 102-117. | MR | Zbl

[41] Bradfield, J.C. & C. P. Stirling 2001.- ‘Modal logics and mu-calculi : an introduction', in [Bergstra et al. 2001, 293-330]. | MR | Zbl

[42] Caelen J., D. Vernant & D. Vanderveken (eds.) 200 ?.- Logic and Dialogue, Dordrecht : Kluwer, à paraître.

[43] Caicedo, X. & M. Krynicki 1999.- Quantifiers for Reasoning with Imperfect Information and ${\Sigma }_1^1$-logic, in [Carnielli 1999, 17-31]. | MR | Zbl

[44] Cameron, P. & W. Hodges 2001.- Some combinatorics of imperfect information, Journal of Symbolic Logic 66, 673-684. | MR | Zbl

[45] Carnielli, W.A. & I.M.L. Ottaviano (eds.) 1999.- Contemporary Mathematics, vol. 235, American Mathematical Society. | MR

[46] Cenzer, D. 1976.- Monotone inductive definitions over the continuum, Journal of Symbolic Logic 41 :1, 188-198. | MR | Zbl

[47] Coquand, Th. 1995.- A semantics of evidence for classical arithmetic, Journal of Symbolic Logic, 60, 325-337. | MR | Zbl

[48] Crawford, V. & J. Sobel 1982.- ‘Strategic information transmission', Econometrica, 50, 1431-51. | MR | Zbl

[49] D'Agostino, M., D. Gabbay, R. Hähnle & J. Posegga (eds.) 1999.- Handbook of Tableau Methods, Dordrecht : Kluwer, 1999. | MR

[50] Ducrot, O. 1973.- La preuve et le dire, Paris : Mame, 1973.

[51] Dybjer, P. & A. Pitts (eds.) 1996.- Proceedings 1996 CLiCS Summer School, Cambridge : Cambridge University Press, 1996.

[52] Ebbinghuas, H.D. et al. (eds.) 1989.- Logic Colloquium '87, Amsterdam : Elsevier Science Publishers, 1989.

[53] Eijck, J. van & H. Kamp 1997.- Representing Discourse in Context, in [van Benthem & Meulen 1997, 179-237].

[54] Enç, M. 1986.- Towards a Referential Analysis of Temporal Expressions, Linguistics and Philosophy, Vol. 9, 405-26.

[55] Enç, M. 1987.- Anchoring Conditions for Tense, Linguistic Inquiry, Vol. 18, No. 4, 633-57.

[56] Enderton, H.B. 1970.- Finite partially ordered quantifiers, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 16, 393-397. | MR | Zbl

[57] Fagin, R., J. Halpern, Y. Moses & M. Vardi 1995.- Reasoning about Knowledge, Cambridge (Mass.) : The MIT Press, 1995. | MR | Zbl

[58] Fitting, M. 1983.- Proof Methods for Modal and Intuitionistic Logic, Dordrecht : D. Reidel, 1983. | MR | Zbl

[59] Fitting M. & R.L. Mendelsohn 1998.- First-order Modal Logic, Dordrecht : Kluwer, 1998. | MR

[60] Frege, G. 1964.- Begriffsschrift und andere Aufsätze, (edited by I. Angelelli), Darmstadt : Wissenschaftliche Buchgesellschaft, 1964. | MR

[61] Fudenberg, D. & Tirole, J. 1991.- Game Theory, Cambridge (Mass.) : The MIT Press, 1991. | MR

[62] Fuhrmann, A. 1985.- Ein relevanzlogischer Dialogkalkül erster Stufe, Conceptus 48, 51-65. | MR

[63] Gabbay D. M. 1996.- Labelled Deductive Systems, Oxford : Oxford University Press, 1996. | MR | Zbl

[64] Gabbay, D.M. & F. Günthner (eds.) 2004.- Handbook of Philosophical Logic, 2nd ed., Vol. 13, Dordrecht : Kluwer, à paraître.

[65] Gabbay, D.M., C. J. Hogger & J. A. Robinson (eds.) 1994.- Nonmonotonic Reasoning and Uncertain Reasoning, volume 3 of Handbook 15 of Logic in Artificial Intelligence and Logic Programming, Oxford : Oxford University Press, 1994. Discourse Representation Theory, in [Gabbay & Günthner 2004], http ://www.ims.uni-stuttgart.de/\sim hans/ | MR | Zbl

[66] Girle R. 2000.- Modals Logics and Philosophy, London : McGill-Queen's University Press, 2000.

[67] Good, I.J. 1950.- Probability and the Weighing of Evidence, Londres : Griffin, 1950. | MR | Zbl

[68] Gottlob, G. 1997.- Relativized logspace and generalized quantifiers over finite ordered structures. Journal of Symbolic Logic 62 : 2, 545-574. | MR | Zbl

[69] Gottwald, S. 1989.- Mehrwertige Logik. Eine Einführung in Theorie und Anwendungen, Berlin : Akademie-Verlag, 1989. | MR | Zbl

[70] Grice, H.P. 1967.- Logic and conversation, William James Lectures, Harvard University, reprinted in Studies in the Way of Words, 1989, Cambridge (Mass.) : Harvard University Press, 1989.

[71] Groenendijk, J. 1984.- Studies in the Semantics of Questions and the Pragmatics of Answers, PhD thesis, Amsterdam : University of Amsterdam, 1984.

[72] Groenendijk, J. & M. Stokhof 1991.- Dynamic Predicate Logic, Linguistics and Philosophy 14, 39-100. | Zbl

[73] Gärdenfors, P. 1998.- Knowledge in Flux, Cambridge (Mass.) : The MIT Press, 1998. | MR

[74] Harel, D., D. Kozen & J. Tiuryn 2000.- Dynamic Logic, Cambridge (Mass.) : The MIT Press, 2000. | MR

[75] Harrenstein, B.P. 2002.- A game-theoretical notion of consequence in [Bonanno et al. 2002]

[76] Harrenstein, B.P., J.-J. Van Der Hoek, W.C. Meyer & C. Witteveen 2001.- Boolean games, in [van Benthem 2001b].

[77] Hendricks, V. 2003.- Active Agents, Journal of Logic, Language and Information 12, 469-95. | MR | Zbl

[78] Herbelin, H. 1995.- Séquents qu'on calcule, Thèse de doctorat, Paris : Université Paris VII, 1995.

[79] Hilpinen, R. 1982.- On C. S. Peirce's Theory of the Proposition : Peirce as a Precursor of Game-theoretical Semantics, The Monist 65 (1982), 182-8.

[80] Hintikka, J. 1973.- Logic, Language-Games and Information, Oxford : Clarendon Press, 1973. | MR | Zbl

[81] Hintikka, J. 1996.- The principles of mathematics revisited, Cambridge : Cambridge University Press, 1996. | MR | Zbl

[82] Hintikka, J. 2002a.- Quantum Logic as a Fragment of Independence-Friendly Logic, Journal of Philosophical Logic 31, 197-209. | MR | Zbl

[83] Hintikka, J. 2002b.- Negation in Logic and in Natural Language, Linguistics and Philosophy 25, 585-600.

[84] Hintikka, J. 2003.- Epistemology Without Knowledge and Without Belief, manuscrit.

[85] Hintikka, J. & J. Kulas 1983.- The Game of Language : Studies in Game-Theoretical Semantics and its Applications, Dordrecht : D. Reidel, 1983. | MR

[86] Hintikka, J. & J. Kulas 1985.- Anaphora and Definite Descriptions, Dordrecht : D. Reidel, 1985. | MR

[87] Hintikka, J. & G. Sandu 1996.- A revolution in logic ?, Nordic Journal of Philosophical Logic 1(2), 169-183. | MR | Zbl

[88] Hintikka, J. & G. Sandu 1997.- Game-theoretical semantics, in [van Benthem & ter Meulen 1997, 361-410].

[89] Hintikka, J. & G. Sandu 2001.- Aspects of Compositionality, Journal of Logic, Language, and Information 10, 49-61. | MR | Zbl

[90] Hirschberg, J. 1985.- A theory of scalar implicatures, PhD thesis, University of Pennsylvania, 1985.

[91] Hobbs J. R. & R. C. Moore (eds.) 1985.- Formal Theories of the Common Sense World, Norwood (NJ) : Ablex Publishing, 1985.

[92] Hobson, E.W. & A. E. H. Love (eds.) 1913.- Proceedings of the Fifth International Congress of Mathematicians, vol. 2., Cambridge : Cambridge University Press, 1913.

[93] Hodges, W. 1997.- Compositional semantics for a language of imperfect information, Logic Journal of the IGPL 5(4), 539-563. | MR | Zbl

[94] Hodges, W. 2001.- Logic and Games, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.). http ://plato.stanford.edu/

[95] Horn, L. 1972.- The semantics of logical operators in English, PhD Thesis, Yale University, 1972.

[96] Hornstein, N. 1990.- As Time Goes By. Tense and Universal Grammar, Cambridge (Mass.) : The MIT Press, 1990.

[97] Hughes, G.E. & M.J. Cresswell 1996.- A new introduction to modal logic, London : Routledge, 1996. | MR | Zbl

[98] Hähnle, R. 1999.- Tableaux for Many-Valued Logics, in [D'Agostino M. et al. 1999, 529-580]. | MR | Zbl

[99] Hötte, T. 2003.- A Model for Epistemic Games, Master of Logic Thesis, Amsterdam : ILLC, 2003.

[100] Janasik, T. & G. Sandu 2003.- Dynamic Game Semantics, in [Peregrin 2003, 215-40].

[101] Kadmon, N. 1987.- On Unique and Non-Unique Reference and Asymmetric Quantification, PhD thesis, Amherst : University of Massachusetts, 1987.

[102] Kamp, H. 1971.- Formal Properties of ‘Now', Theoria, Vol. 37, 227-73. | MR | Zbl

[103] Kamp, H. & U. Reyle 1993.- From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Part 2, Dordrecht : Kluwer Academic Publishers, 1993.

[104] Kelly, J.S. 1987.- Social Choice Theory : An Introduction, New York : Springer, 1987. | Zbl

[105] Kleene, S.C. 1952.- Introduction to Metamathematics, Amsterdam, Groningen, Princeton : Van Nostrand, 1952. | MR | Zbl

[106] Kozen, D. 1983.- Results on the propositional mu-calculus, Theoretical Computer Science 27, 333-354. | MR | Zbl

[107] Krabbe, E. 1985.- Formal Systems of Dialogue Rules, Synthese 63 (3), 295-328. | MR

[108] Kracht, De Rijke, Wansing & Zakharyaschev (eds.) 1998.- Advances in Modal Logic, Vol. 1, Stanford : CSLI Publications, 1998. | MR

[109] Kraus, S., D. Lehmann, and M. Magidor 1990.- Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, 44. | MR | Zbl

[110] Krivine, J.-L. 2003.- Dependent choice, ‘quote' and the clock, Theoretical Computer Science, 308, 259-276. | MR | Zbl

[111] Lecomte, A. 200 ?.- Logic for Dialogue, in [J. Caelen et al. 200 ?].

[112] Lewis, C.I. & C.H. Langford 1932.- Symbolic Logic, New York : Dover Publications, 1932. | MR

[113] Lipman, B. & D. Seppi 1995.- Robust inference in communication games with partial provability, Journal of Economic Theory, 66, 370-405. | MR | Zbl

[114] Liu, F. 2004.- Dynamic Variations : Update and Revision for Diverse Agents, Master of Logic Thesis, Amsterdam : ILLC, 2004.

[115] Lorenzen, P. 1958.- Logik und Agon, Acti del XII Congresso Internationale de Filosofia, Venezia, 1958, 187-194. Reproduit dans [Lorenzen & Lorenz 1978].

[116] Lorenzen, P. & K. Lorenz 1978.- Dialogische Logik, Darmstadt : WBG, 1978. | MR

[117] Łukasiewicz, J. 1920.- O logice trojwartosciowej, Ruch Filozoficzny 5, 170-171.

[118] Makinson, D. 1994.- General patterns in nonmonotonic reasoning in [Gabbay et al. 1994]. | MR

[119] Malinowski, G. 1994.- Many-Valued Logics, Oxford : Clarendon Press, 1993. | MR | Zbl

[120] Mccarthy, J. 1980.- Circumscription - a form of non-monotonic reasoning, Artificial Intelligence, 13, 27-39. | MR | Zbl

[121] Merin, A. 1999.- Information, relevance, and social decisionmaking, in [Moss & al. 1999]. | Zbl

[122] Merin, A. 2003.- Replacing ‘Horn scales' by act-based relevance orderings to keep negation and numerals meaningful, in Reader for course Relevance and Decision-Theoretic Semantics, Vienna : ESSLLI 2003.

[123] Moore, R. 1985.- A Formal Theory of Knowledge and Action, in [Hobbs & Moore 1985, 319-358].

[124] Moss, L, J. Ginzburg & M. De Rijke (eds.) 1999.- Logic, Language, and Computation. Vol. 2, Stanford : CSLI Publications, 1999. | MR

[125] Neumann, J. Von 1928.- Zur Theorie der Gesellschaftsspiele, Matematische Annalen, 100, 295-320. | JFM | MR

[126] Neumann, J. von & O. Morgenstern 1944.- Theory of Games and Economic Behavior, Princeton (New Jersey) : Princeton University Press, 1944. | MR | Zbl

[127] Novikoff, P.S. 1943.- On the consistency of certain logical calculus, Matematiceskij sbornik (Recueil mathématique) T.12 (54), 230-260. | MR | Zbl

[128] Osborne, M. & A. Rubinstein 1994.- A Course in Game Theory, Cambridge (Mass.) : The MIT Press, 1994. | MR

[129] Parikh, R. & R. Ramanujam 2003.- A Knowledge-Based Semantics of Messages, Journal of Logic, Language and Information 12, 453-67. | MR | Zbl

[130] Partee, B. 1973.- Some Structural Analogies between Tenses and Pronouns in English, Journal of Philosophy, Vol. 70, No. 18., 601-9.

[131] Peregrin, J. (ed.) 2003.- Meaning : The Dynamic Turn, Elsevier, 2003.

[132] Pietarinen, A. 2004.- IF logic and incomplete information, in [van Benthem et al. 2004].

[133] Pietarinen, A. & G. Sandu 2001.- Partiality and games : propositional logic, Logic Journal of the IGPL 9, 107-27. 2004 An Introduction to IF Logic, Nancy : ESSLLI 2004. | MR

[134] Prior. A.N. 1957.- Time and Modality, Oxford : Clarendon Press, 1957. | Zbl

[135] Prior. A.N. 1967.- Past, Present and Future, Oxford : Clarendon Press, 1967. | MR | Zbl

[136] Rahman, S. 1993.- Über Dialogue, protologische Kategorien und andere Seltenheiten, Frankfurt a. M., Berlin, New York, Paris, Wien : Peter Lang Verlag, 1993.

[137] Rahman, S. 2001.- On Frege's Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics, in [Wansing 2001, 61-89]. | MR | Zbl

[138] Rahman, S. 2002.- Un desafío para las teorías cognitivas de la competencia lógica : los fundamentos pragmáticos de la semántica de la lógica linear, in [Wrigley 2002, 383-432].

[139] Rahman, S. 2004.- Non Normal Dialogics for a Wonderful World and More, to appear in [van Benthem et al. 2004]. | Zbl

[140] Rahman, S. & W. Carnielli 2000.- The Dialogical Approach to Paraconsistency, Synthese 125 (1/2), 201-232. | MR | Zbl

[141] Rahman, S. & L. Keiff 2004.- On How to be a Dialogician. A Short Overview on recent Developements on Dialogic, Argumentation and Games, in [Vandervecken 2004]. | Zbl

[142] Rahman, S. & H. Rückert 1999.- Die pragmatischen Sinn und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes, Philosophia Scientiæ, (3) 3, 145-170.

[143] Rahman, S. & H. Rückert 2001a.- Dialogische Modallogik (für T, B, S4, und S5), Logique & Analyse, vol. 167-168, 243-282. | MR | Zbl

[144] Rahman, S. & H. Rückert 2001b.- Preface, Synthese, 127, 1-6. | MR

[145] Rahman, S. & H. Rückert 2001c.- Dialogical Connexive Logic, Synthese, 127, 105-139. | MR | Zbl

[146] Rahman, S. & H. Rückert (eds.) 2001d.- New Perspectives in Dialogical Logic, Special Issue of Synthese, 127, 2001. | MR | Zbl

[147] Rahman, S., H. Rückert & M. Fischmann 1998.- On Dialogues and Ontology. The Dialogical Approach to Free Logic, Logique & Analyse 160, 357-374. | MR | Zbl

[148] Restall, G. 2000.- An Introduction to Substructural Logics, London, New York : Routledge, 2000. | Zbl

[149] Rodenhauser, B. 2001.- Updating Epistemic Uncertainty : an essay in the logic of information change, Master of Logic Thesis, Amsterdam : ILLC, 2001.

[150] Rooij, R. van & K. Schulz 2004a.- Exhaustive interpretation of complex sentences, Journal of Logic, Language and Information. | Zbl

[151] Rooij, R. van & K. Schulz 2004b.- Pragmatic meaning and non-monotonic reasoning : The case of exhaustive interpretation. (soumis)

[152] Rosser, J. and Turquette, A. 1952.- Many-Valued Logics, Amsterdam : North-Holland, 1952. | MR | Zbl

[153] Rückert, H. 2001.- Why Dialogical Logic ?, in [Wansing 2001, 165-185]. | MR | Zbl

[154] Saarinen, E. 1977.- Backwards-Looking Operators in Tense Logic and in Natural Language, Reports from the Department of Philosophy, No. 4, Helsinki : University of Helsinki, 1977.

[155] Sandu, G. 1993.- On the logic of information independence and its applications, Journal of Philosophical Logic 22, 361-372. | MR | Zbl

[156] Sandu, G. 1997.- On the Theory of Anaphora : Dynamic Predicate Logic vs. Game-Theoretical Semantics, Linguistics and Philosophy 20, 147-174.

[157] Schobbens, P.-Y. 2004.- Alternating-time logic with imperfect recall, Electronic Notes in Theoretical Computer Science 85(2).

[158] Segerberg, K. 1982.- Classical Propositional Operators, Oxford : Oxford University Press, 1982. | MR | Zbl

[159] Seligman, J. 2001.- Internalization : The Case of Hybrid Logics, Journal of Logic and Computation, vol.11-5, 671-689. | MR | Zbl

[160] Shoham, Y. 1988.- Reasoning About Change, Cambridge (Mass.) : The MIT Press, 1988. | MR

[161] Smullyan, R. M. 1968.- First Order Logic, New York : Springer Verlag, 1968. | MR | Zbl

[162] Snyder, J. 2004.- Product Update for Agents with Bounded Memory, Department of Philosophy, Stanford University (manuscrit)

[163] Tennenbaum, S. 1959.- Non-Archimedean Models for Arithmetic (Abstract), Notices of the American Mathematical Society, 6 : 270.

[164] Topkis, D.M. 1998.- Supermodularity and Complementarity, Princeton (New Jersey) : Princeton University Press, 1998. | MR

[165] Troelstra, A. & H. Schwichtenberg 1996.- Basic Proof Theory, Cambridge : Cambridge University Press, 1996. | MR | Zbl

[166] Tulenheimo, T. 2003.- On IF Modal Logic and its Expressive Power, in [Balbiani et al. 2003, 475-98]. | MR | Zbl

[167] Tulenheimo, T. 2004a.- Independence-Friendly Modal Logic : Studies in its Expressive Power and Theoretical Relevance, Philosophical Studies from the University of Helsinki 4 (Thèse de doctorat).

[168] Tulenheimo, T. 2004b.- Are There Tense Operators in English ? in [Behounek 2004, 271-84].

[169] Vandervecken, D. (ed.) 2004.- Logic, Thought and Action, Dordrecht : Kluwer, à paraître. | Zbl

[170] Veltman, F. 1996.- Defaults in update semantics, Journal of Philosophical Logic, 25. | MR | Zbl

[171] Väänänen, J. 2002.- On the Semantics of Informational Independence, Logic Journal of the IGPL, 10(3), 337-50. | MR | Zbl

[172] Walkoe, W. J. Jr. 1970.- Finite partially-ordered quantification, Journal of Symbolic Logic 35, 535-555. | MR | Zbl

[173] Walsh, W. E. , M. Yokoo, K. Hirayama & M. P. Wellman 2001.- On market-inspired approaches to propositional satisfiability, Seventeenth International Joint Conference on Artificial Intelligence. | MR

[174] Wansing H. (ed.) 2001.- Essays on Non-Classical Logic (Advances in Logic, vol.1), New Jersey, London, Singapore, Hong Kong : World Scientific, 2001. | MR | Zbl

[175] Wrigley, M.B. (ed.) 2002.- Dialogue, Language, Rationality. A Festschrift for Marcelo Dascal, Volume spécial de Manuscrito, XXV-2, 2002.

[176] Yokoo, M., E. H. Durfee, T. Ishida, and K. Kuwabara. 1998.- The distributed constraint satisfaction problem : Formalization and algorithms, Knowledge and Data Engineering, 10(5).

[177] Zermelo, E. 1913.- Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels, in [Hobson & Love, 1913, 501-4]. | JFM