Bibliographie

 Access to full text

 Full (PDF)

1. [1] Abramsky, S.1996.— Semantics of Interaction : an Introduction to Game Semantics, in [Dybjer et al. 1996, 1-31]. Zbl0938.91500MR1629511
2. [2] Alur, R., T. Henzinger & O. Kupferman1997.— Alternating-time temporal logic, in Proc. 38th FOCS, 100-109. Zbl1326.68181MR1721660
3. [3] Anscombre, J.C. & O. Ducrot1983.— L’Argumentation dans la Langue, Bruxelles : Mardaga, 1983. 
4. [4] Arrow, K.J.1963.— Social Choice and Individual Values, New York : Wiley, 1963. Zbl0984.91513
5. [5] Aucher, G.2003.— A Combined System of Update Logic and Belief Revision, Master of Logic Thesis, Amsterdam : ILLC, 2003. 
6. [6] Axelrod, R.1984.— The Evolution of Cooperation, New York : Basic Books, 1984. : Zbl1225.92037
7. [7] Balbiani, P., N.-Y. Suzuki, F. Wolter & M. Zakharyaschev (eds.) 2003.— Advances in Modal Logic, vol. 4, London : King’s College Publications, 2003. MR2112074
8. [8] Baltag, A., L. Moss & S. Solecki1998.— The Logic of Public Announcements, Common Knowledge and Private Suspicions, Proceedings TARK 1998, Los Altos : Morgan Kaufmann, 1998, 43-56. 
9. [9] Barth, E. and Krabbe, E.1982.— From Axiom to Dialogue : A Philosophical Study of Logics and Argumentation, Berlin, New York : De Gruyter, 1982. Zbl0495.03001MR678092
10. [10] Batens, D.2003.— A General Characterization of Adaptive Logics, Logique & Analyse, vol. 173-175, 45-68. Zbl1047.03017MR2006119
11. [11] Behounek, L. (éd.) 2004.— The Logica Yearbook 2003, Prague : Filosofia, 2004. 
12. [12] Belnap, N., M. Perloff & M. Xu2001.— Facing the Future, Oxford : Oxford University Press, 2001. 
13. [13] Bendegem, J.Van 2001.— Paraconsistency and Dialogue Logic : Critical Examination and further Explorations, Synthese 127, 35-55. Zbl0980.03028MR1828958
14. [14] Benthem, J. van 1989.— ‘Semantic parallels in natural language and computation’ in [Ebbinghuas 1989, 331-75]. Zbl0694.03022MR1015313
15. [15] Benthem, J. van 2001a.— Logic in Games, Lecture notes, Amsterdam : ILLC, 2001. Zbl1230.03046
16. [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. [17] Benthem, J. van 2001c.— Games in Dynamic-Epistemic Logic, Bulletin of Economic Research 53 :4, 219-48 (Proceedings LOFT-4, Torino). Zbl1230.03046MR1857518
18. [18] Benthem, J. van 2002.— One is a Lonely Number : On the Logic of Communication, Tech Report PP-2002-27, Amsterdam : ILLC, 2002. Zbl1108.03011
19. [19] Benthem, J. van 2003.— Conditional Probability Meets Update Logic, Journal of Logic, Language and Information 12, 409-21. Zbl1031.03045MR2014381
20. [20] Benthem, J. van 2004a.— A Mini-Guide to Logic in Action, Philosophical Researches, Beijing : Supp : 21-30. MR990202
21. [21] Benthem, J. van 2004b.— Local versus Global Update in Games, Stanford : Department of Philosophy, Stanford University, working paper. 
22. [22] Benthem, J. van & B. ten Cate 2003.— Automata and Update Agents in Event Trees, Stanford : Department of Philosophy, Stanford University, working paper. 
23. [23] Benthem, J. van & B. F. Liu 2004.— Diversity of Logical Agents in Games, Research Report PP-2004-13, Amsterdam : ILLC, 2004. 
24. [24] Benthem, J. van & A. ter Meulen (eds.) 1997.— Handbook of Logic and Language, Amsterdam : Elsevier, 1997. Zbl0874.03001MR1437147
25. [25] Benthem J. van, G. Heinzmann, M. Rebuschi & H. Visser (eds.) 2004.— The Age of Alternative Logics, Dordrecht : Kluwer, à paraître. MR2061277
26. [26] J. A. Bergstra, Ponse, A. & Smolka, S.A.2001.— Handbook of Process Algebra, New York : Elsevier, 2001. Zbl0971.00006MR1843380
27. [27] Blackburn, P.2001a.— Modal logic as dialogical logic, Synthese 127, 57-93. Zbl1108.03309MR1828959
28. [28] Blackburn, P.2001b.— Fine grained theories of time, in [Wansing 2001, 1-36]. Zbl0997.03018MR1865129
29. [29] Blackburn, P., de Rijke, M. & Venema, Y.2002.— Modal Logic, Cambridge : Cambridge University Press, 2002. Zbl0988.03006
30. [30] Blackburn, P. & J. Seligman1998.— What are Hybrid Languages ?, in [Kracht et al., 1998, 41-62]. Zbl0911.03009MR1688512
31. [31] Blackburn, P. & M. Tzakova1999.— Hybrid languages and Temporal logic, Logic Journal of the IGPL, 7(1), 27-54. Zbl0920.03029MR1671434
32. [32] Blass, Andreas1998.— Some Semantical Aspects of Linear Logic, Journal of the Interest Group in Pure and Applied Logic 5, 115-126. MR1465610
33. [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. JFM48.0599.03
34. [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. [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. Zbl1077.91006
36. [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. [37] Bradfield, J.C.1999.— Fixpoints in arithmetic, transition systems and trees, Theoretical Informatics and Applications, 33, 341-356. Zbl0945.68126MR1748660
38. [38] Bradfield, J.C.2000.— Independence : logics and concurrency, Proc. CSL 2000, LNCS 1862, 247-261. Zbl0973.03041MR1859448
39. [39] Bradfield, J.C.2003.— Parity of imperfection, Proc. CSL 2003, LNCS 2803, 72-85. Zbl1116.03310MR2047952
40. [40] Bradfield, J.C. & S. B. Fröschle2002.— Independence-friendly modal logic and true concurrency, Nordic Journal of Computing 9, 102-117. Zbl1020.68061MR1923918
41. [41] Bradfield, J.C. & C. P. Stirling2001.— ‘Modal logics and mu-calculi : an introduction’, in [Bergstra et al. 2001, 293-330]. Zbl1002.03021MR1843385
42. [42] Caelen J., D. Vernant & D. Vanderveken (eds.) 200 ?.— Logic and Dialogue, Dordrecht : Kluwer, à paraître. 
43. [43] Caicedo, X. & M. Krynicki1999.— Quantifiers for Reasoning with Imperfect Information and ${\Sigma }_1^1$-logic, in [Carnielli 1999, 17-31]. Zbl0935.03048MR1721228
44. [44] Cameron, P. & W. Hodges2001.— Some combinatorics of imperfect information, Journal of Symbolic Logic 66, 673-684. Zbl0991.03034MR1833470
45. [45] Carnielli, W.A. & I.M.L. Ottaviano (eds.) 1999.— Contemporary Mathematics, vol. 235, American Mathematical Society. MR1730496
46. [46] Cenzer, D.1976.— Monotone inductive definitions over the continuum, Journal of Symbolic Logic 41 :1, 188-198. Zbl0344.02032MR427054
47. [47] Coquand, Th.1995.— A semantics of evidence for classical arithmetic, Journal of Symbolic Logic, 60, 325-337. Zbl0829.03037MR1324516
48. [48] Crawford, V. & J. Sobel1982.— ‘Strategic information transmission’, Econometrica, 50, 1431-51. Zbl0494.94007MR685333
49. [49] D’Agostino, M., D. Gabbay, R. Hähnle & J. Posegga (eds.) 1999.— Handbook of Tableau Methods, Dordrecht : Kluwer, 1999. Zbl0933.00011MR1796835
50. [50] Ducrot, O.1973.— La preuve et le dire, Paris : Mame, 1973. 
51. [51] Dybjer, P. & A. Pitts (eds.) 1996.— Proceedings 1996 CLiCS Summer School, Cambridge : Cambridge University Press, 1996. 
52. [52] Ebbinghuas, H.D. et al. (eds.) 1989.— Logic Colloquium ’87, Amsterdam : Elsevier Science Publishers, 1989. 
53. [53] Eijck, J. van & H. Kamp 1997.— Representing Discourse in Context, in [van Benthem & Meulen 1997, 179-237]. 
54. [54] Enç, M.1986.— Towards a Referential Analysis of Temporal Expressions, Linguistics and Philosophy, Vol. 9, 405-26. 
55. [55] Enç, M.1987.— Anchoring Conditions for Tense, Linguistic Inquiry, Vol. 18, No. 4, 633-57. 
56. [56] Enderton, H.B.1970.— Finite partially ordered quantifiers, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 16, 393-397. Zbl0193.29405MR284317
57. [57] Fagin, R., J. Halpern, Y. Moses & M. Vardi1995.— Reasoning about Knowledge, Cambridge (Mass.) : The MIT Press, 1995. Zbl0839.68095MR1345612
58. [58] Fitting, M.1983.— Proof Methods for Modal and Intuitionistic Logic, Dordrecht : D. Reidel, 1983. Zbl0523.03013MR703151
59. [59] Fitting M. & R.L. Mendelsohn1998.— First-order Modal Logic, Dordrecht : Kluwer, 1998. Zbl1025.03001MR1956131
60. [60] Frege, G.1964.— Begriffsschrift und andere Aufsätze, (edited by I. Angelelli), Darmstadt : Wissenschaftliche Buchgesellschaft, 1964. MR164864
61. [61] Fudenberg, D. & Tirole, J.1991.— Game Theory, Cambridge (Mass.) : The MIT Press, 1991. MR1124618
62. [62] Fuhrmann, A.1985.— Ein relevanzlogischer Dialogkalkül erster Stufe, Conceptus 48, 51-65. MR841375
63. [63] Gabbay D. M.1996.— Labelled Deductive Systems, Oxford : Oxford University Press, 1996. Zbl0858.03004MR1430570
64. [64] Gabbay, D.M. & F. Günthner (eds.) 2004.— Handbook of Philosophical Logic, 2nd ed., Vol. 13, Dordrecht : Kluwer, à paraître. Zbl1055.03002
65. [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/hans/ Zbl0804.03017MR1281420
66. [66] Girle R.2000.— Modals Logics and Philosophy, London : McGill-Queen’s University Press, 2000. 
67. [67] Good, I.J.1950.— Probability and the Weighing of Evidence, Londres : Griffin, 1950. Zbl0036.08402MR41366
68. [68] Gottlob, G.1997.— Relativized logspace and generalized quantifiers over finite ordered structures. Journal of Symbolic Logic 62 : 2, 545-574. Zbl0882.03031MR1464113
69. [69] Gottwald, S.1989.— Mehrwertige Logik. Eine Einführung in Theorie und Anwendungen, Berlin : Akademie-Verlag, 1989. Zbl0714.03022MR1117450
70. [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. [71] Groenendijk, J.1984.— Studies in the Semantics of Questions and the Pragmatics of Answers, PhD thesis, Amsterdam : University of Amsterdam, 1984. 
72. [72] Groenendijk, J. & M. Stokhof1991.— Dynamic Predicate Logic, Linguistics and Philosophy 14, 39-100. Zbl0726.03024
73. [73] Gärdenfors, P.1998.— Knowledge in Flux, Cambridge (Mass.) : The MIT Press, 1998. Zbl1229.03008MR956051
74. [74] Harel, D., D. Kozen & J. Tiuryn2000.— Dynamic Logic, Cambridge (Mass.) : The MIT Press, 2000. Zbl0976.68108MR1791342
75. [75] Harrenstein, B.P.2002.— A game-theoretical notion of consequence in [Bonanno et al. 2002] 
76. [76] Harrenstein, B.P., J.-J. van der Hoek, W.C. Meyer & C. Witteveen2001.— Boolean games, in [van Benthem 2001b]. 
77. [77] Hendricks, V.2003.— Active Agents, Journal of Logic, Language and Information 12, 469-95. Zbl1031.03009MR2014384
78. [78] Herbelin, H.1995.— Séquents qu’on calcule, Thèse de doctorat, Paris : Université Paris VII, 1995. 
79. [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. [80] Hintikka, J.1973.— Logic, Language-Games and Information, Oxford : Clarendon Press, 1973. Zbl0253.02005MR416846
81. [81] Hintikka, J.1996.— The principles of mathematics revisited, Cambridge : Cambridge University Press, 1996. Zbl0897.03004MR1410063
82. [82] Hintikka, J.2002a.— Quantum Logic as a Fragment of Independence-Friendly Logic, Journal of Philosophical Logic 31, 197-209. Zbl1011.03049MR1917265
83. [83] Hintikka, J.2002b.— Negation in Logic and in Natural Language, Linguistics and Philosophy 25, 585-600. 
84. [84] Hintikka, J.2003.— Epistemology Without Knowledge and Without Belief, manuscrit. 
85. [85] Hintikka, J. & J. Kulas1983.— The Game of Language : Studies in Game-Theoretical Semantics and its Applications, Dordrecht : D. Reidel, 1983. MR729683
86. [86] Hintikka, J. & J. Kulas1985.— Anaphora and Definite Descriptions, Dordrecht : D. Reidel, 1985. MR812273
87. [87] Hintikka, J. & G. Sandu1996.— A revolution in logic ?, Nordic Journal of Philosophical Logic 1(2), 169-183. Zbl0891.03001MR1432645
88. [88] Hintikka, J. & G. Sandu1997.— Game-theoretical semantics, in [van Benthem & ter Meulen 1997, 361-410]. 
89. [89] Hintikka, J. & G. Sandu2001.— Aspects of Compositionality, Journal of Logic, Language, and Information 10, 49-61. Zbl0970.03014MR1809041
90. [90] Hirschberg, J.1985.— A theory of scalar implicatures, PhD thesis, University of Pennsylvania, 1985. 
91. [91] Hobbs J. R. & R. C. Moore (eds.) 1985.— Formal Theories of the Common Sense World, Norwood (NJ) : Ablex Publishing, 1985. 
92. [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. [93] Hodges, W.1997.— Compositional semantics for a language of imperfect information, Logic Journal of the IGPL 5(4), 539-563. Zbl0945.03034MR1465612
94. [94] Hodges, W.2001.— Logic and Games, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.). http ://plato.stanford.edu/ 
95. [95] Horn, L.1972.— The semantics of logical operators in English, PhD Thesis, Yale University, 1972. 
96. [96] Hornstein, N.1990.— As Time Goes By. Tense and Universal Grammar, Cambridge (Mass.) : The MIT Press, 1990. 
97. [97] Hughes, G.E. & M.J. Cresswell1996.— A new introduction to modal logic, London : Routledge, 1996. Zbl0855.03002MR1666445
98. [98] Hähnle, R.1999.— Tableaux for Many-Valued Logics, in [D’Agostino M. et al. 1999, 529-580]. Zbl0972.03531MR1795231
99. [99] Hötte, T.2003.— A Model for Epistemic Games, Master of Logic Thesis, Amsterdam : ILLC, 2003. 
100. [100] Janasik, T. & G. Sandu2003.— Dynamic Game Semantics, in [Peregrin 2003, 215-40]. 
101. [101] Kadmon, N.1987.— On Unique and Non-Unique Reference and Asymmetric Quantification, PhD thesis, Amherst : University of Massachusetts, 1987. 
102. [102] Kamp, H.1971.— Formal Properties of ‘Now’, Theoria, Vol. 37, 227-73. Zbl0269.02008MR337496
103. [103] Kamp, H. & U. Reyle1993.— 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. [104] Kelly, J.S.1987.— Social Choice Theory : An Introduction, New York : Springer, 1987. Zbl0689.90002
105. [105] Kleene, S.C.1952.— Introduction to Metamathematics, Amsterdam, Groningen, Princeton : Van Nostrand, 1952. Zbl0109.00509MR51790
106. [106] Kozen, D.1983.— Results on the propositional mu-calculus, Theoretical Computer Science 27, 333-354. Zbl0553.03007MR731069
107. [107] Krabbe, E.1985.— Formal Systems of Dialogue Rules, Synthese 63 (3), 295-328. MR792466
108. [108] Kracht, de Rijke, Wansing & Zakharyaschev (eds.) 1998.— Advances in Modal Logic, Vol. 1, Stanford : CSLI Publications, 1998. MR1688509
109. [109] Kraus, S., D. Lehmann, and M. Magidor1990.— Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, 44. Zbl0782.03012MR1072012
110. [110] Krivine, J.-L.2003.— Dependent choice, ‘quote’ and the clock, Theoretical Computer Science, 308, 259-276. Zbl1169.03328MR2014580
111. [111] Lecomte, A.200 ?.— Logic for Dialogue, in [J. Caelen et al. 200 ?]. 
112. [112] Lewis, C.I. & C.H. Langford1932.— Symbolic Logic, New York : Dover Publications, 1932. Zbl58.0056.01MR105349
113. [113] Lipman, B. & D. Seppi1995.— Robust inference in communication games with partial provability, Journal of Economic Theory, 66, 370-405. Zbl0843.90148MR1351908
114. [114] Liu, F.2004.— Dynamic Variations : Update and Revision for Diverse Agents, Master of Logic Thesis, Amsterdam : ILLC, 2004. 
115. [115] Lorenzen, P.1958.— Logik und Agon, Acti del XII Congresso Internationale de Filosofia, Venezia, 1958, 187-194. Reproduit dans [Lorenzen & Lorenz 1978]. 
116. [116] Lorenzen, P. & K. Lorenz1978.— Dialogische Logik, Darmstadt : WBG, 1978. Zbl0435.03011MR668521
117. [117] Łukasiewicz, J.1920.— O logice trojwartosciowej, Ruch Filozoficzny 5, 170-171. 
118. [118] Makinson, D.1994.— General patterns in nonmonotonic reasoning in [Gabbay et al. 1994]. MR1281422
119. [119] Malinowski, G.1994.— Many-Valued Logics, Oxford : Clarendon Press, 1993. Zbl0807.03010MR1269112
120. [120] McCarthy, J.1980.— Circumscription – a form of non-monotonic reasoning, Artificial Intelligence, 13, 27-39. Zbl0435.68073MR574581
121. [121] Merin, A.1999.— Information, relevance, and social decisionmaking, in [Moss & al. 1999]. Zbl0956.03514
122. [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. [123] Moore, R.1985.— A Formal Theory of Knowledge and Action, in [Hobbs & Moore 1985, 319-358]. 
124. [124] Moss, L, J. Ginzburg & M. de Rijke (eds.) 1999.— Logic, Language, and Computation. Vol. 2, Stanford : CSLI Publications, 1999. MR1715711
125. [125] Neumann, J. von 1928.— Zur Theorie der Gesellschaftsspiele, Matematische Annalen, 100, 295-320. MR1512486JFM54.0543.02
126. [126] Neumann, J. von & O. Morgenstern 1944.— Theory of Games and Economic Behavior, Princeton (New Jersey) : Princeton University Press, 1944. Zbl0063.05930MR11937
127. [127] Novikoff, P.S.1943.— On the consistency of certain logical calculus, Matematiceskij sbornik (Recueil mathématique) T.12 (54), 230-260. Zbl0060.02102MR9754
128. [128] Osborne, M. & A. Rubinstein1994.— A Course in Game Theory, Cambridge (Mass.) : The MIT Press, 1994. MR1301776
129. [129] Parikh, R. & R. Ramanujam2003.— A Knowledge-Based Semantics of Messages, Journal of Logic, Language and Information 12, 453-67. Zbl1031.03021MR2014383
130. [130] Partee, B.1973.— Some Structural Analogies between Tenses and Pronouns in English, Journal of Philosophy, Vol. 70, No. 18., 601-9. 
131. [131] Peregrin, J. (ed.) 2003.— Meaning : The Dynamic Turn, Elsevier, 2003. 
132. [132] Pietarinen, A.2004.— IF logic and incomplete information, in [van Benthem et al. 2004]. 
133. [133] Pietarinen, A. & G. Sandu2001.— Partiality and games : propositional logic, Logic Journal of the IGPL 9, 107-27. 2004 An Introduction to IF Logic, Nancy : ESSLLI 2004. Zbl0971.03031MR1813623
134. [134] Prior. A.N. 1957.— Time and Modality, Oxford : Clarendon Press, 1957. Zbl0079.00606
135. [135] Prior. A.N. 1967.— Past, Present and Future, Oxford : Clarendon Press, 1967. Zbl0169.29802MR216943
136. [136] Rahman, S.1993.— Über Dialogue, protologische Kategorien und andere Seltenheiten, Frankfurt a. M., Berlin, New York, Paris, Wien : Peter Lang Verlag, 1993. 
137. [137] Rahman, S.2001.— On Frege’s Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics, in [Wansing 2001, 61-89]. Zbl0997.03031MR1865131
138. [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. [139] Rahman, S.2004.— Non Normal Dialogics for a Wonderful World and More, to appear in [van Benthem et al. 2004]. Zbl1123.03007
140. [140] Rahman, S. & W. Carnielli2000.— The Dialogical Approach to Paraconsistency, Synthese 125 (1/2), 201-232. Zbl0970.03030MR1801023
141. [141] Rahman, S. & L. Keiff2004.— On How to be a Dialogician. A Short Overview on recent Developements on Dialogic, Argumentation and Games, in [Vandervecken 2004]. Zbl1081.03010
142. [142] Rahman, S. & H. Rückert1999.— Die pragmatischen Sinn und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes, Philosophia Scientiæ, (3) 3, 145-170. 
143. [143] Rahman, S. & H. Rückert2001a.— Dialogische Modallogik (für T, B, S4, und S5), Logique & Analyse, vol. 167-168, 243-282. Zbl1015.03026MR1947592
144. [144] Rahman, S. & H. Rückert2001b.— Preface, Synthese, 127, 1-6. MR1828961
145. [145] Rahman, S. & H. Rückert2001c.— Dialogical Connexive Logic, Synthese, 127, 105-139. Zbl0980.03022MR1828961
146. [146] Rahman, S. & H. Rückert (eds.) 2001d.— New Perspectives in Dialogical Logic, Special Issue of Synthese, 127, 2001. Zbl0978.00016MR1828961
147. [147] Rahman, S., H. Rückert & M. Fischmann1998.— On Dialogues and Ontology. The Dialogical Approach to Free Logic, Logique & Analyse 160, 357-374. Zbl0978.03008MR1786961
148. [148] Restall, G.2000.— An Introduction to Substructural Logics, London, New York : Routledge, 2000. Zbl1028.03018
149. [149] Rodenhauser, B.2001.— Updating Epistemic Uncertainty : an essay in the logic of information change, Master of Logic Thesis, Amsterdam : ILLC, 2001. 
150. [150] Rooij, R. van & K. Schulz 2004a.— Exhaustive interpretation of complex sentences, Journal of Logic, Language and Information. Zbl1062.03025
151. [151] Rooij, R. van & K. Schulz 2004b.— Pragmatic meaning and non-monotonic reasoning : The case of exhaustive interpretation. (soumis) 
152. [152] Rosser, J. and Turquette, A.1952.— Many-Valued Logics, Amsterdam : North-Holland, 1952. Zbl0047.01503MR51791
153. [153] Rückert, H.2001.— Why Dialogical Logic ?, in [Wansing 2001, 165-185]. Zbl0997.03002MR1865135
154. [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. [155] Sandu, G.1993.— On the logic of information independence and its applications, Journal of Philosophical Logic 22, 361-372. Zbl0764.03009MR1203266
156. [156] Sandu, G.1997.— On the Theory of Anaphora : Dynamic Predicate Logic vs. Game-Theoretical Semantics, Linguistics and Philosophy 20, 147-174. 
157. [157] Schobbens, P.-Y.2004.— Alternating-time logic with imperfect recall, Electronic Notes in Theoretical Computer Science 85(2). Zbl1270.68287
158. [158] Segerberg, K.1982.— Classical Propositional Operators, Oxford : Oxford University Press, 1982. Zbl0491.03003MR657358
159. [159] Seligman, J.2001.— Internalization : The Case of Hybrid Logics, Journal of Logic and Computation, vol.11-5, 671-689. Zbl0991.03024MR1866653
160. [160] Shoham, Y.1988.— Reasoning About Change, Cambridge (Mass.) : The MIT Press, 1988. Zbl0662.03014MR935969
161. [161] Smullyan, R. M.1968.— First Order Logic, New York : Springer Verlag, 1968. Zbl0172.28901MR243994
162. [162] Snyder, J.2004.— Product Update for Agents with Bounded Memory, Department of Philosophy, Stanford University (manuscrit) 
163. [163] Tennenbaum, S.1959.— Non-Archimedean Models for Arithmetic (Abstract), Notices of the American Mathematical Society, 6 : 270. 
164. [164] Topkis, D.M.1998.— Supermodularity and Complementarity, Princeton (New Jersey) : Princeton University Press, 1998. MR1614637
165. [165] Troelstra, A. & H. Schwichtenberg1996.— Basic Proof Theory, Cambridge : Cambridge University Press, 1996. Zbl0868.03024MR1409368
166. [166] Tulenheimo, T.2003.— On IF Modal Logic and its Expressive Power, in [Balbiani et al. 2003, 475-98]. Zbl1082.03020MR2112096
167. [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. [168] Tulenheimo, T.2004b.— Are There Tense Operators in English ? in [Behounek 2004, 271-84]. 
169. [169] Vandervecken, D. (ed.) 2004.— Logic, Thought and Action, Dordrecht : Kluwer, à paraître. Zbl1068.03006
170. [170] Veltman, F.1996.— Defaults in update semantics, Journal of Philosophical Logic, 25. Zbl0860.03025MR1394592
171. [171] Väänänen, J.2002.— On the Semantics of Informational Independence, Logic Journal of the IGPL, 10(3), 337-50. Zbl1005.03033MR1914464
172. [172] Walkoe, W. J.Jr. 1970.— Finite partially-ordered quantification, Journal of Symbolic Logic 35, 535-555. Zbl0219.02008MR278920
173. [173] Walsh, W. E. , M. Yokoo, K. Hirayama & M. P. Wellman2001.— On market-inspired approaches to propositional satisfiability, Seventeenth International Joint Conference on Artificial Intelligence. Zbl1079.68623MR1964435
174. [174] Wansing H. (ed.) 2001.— Essays on Non-Classical Logic (Advances in Logic, vol.1), New Jersey, London, Singapore, Hong Kong : World Scientific, 2001. Zbl0982.00038MR1865128
175. [175] Wrigley, M.B. (ed.) 2002.— Dialogue, Language, Rationality. A Festschrift for Marcelo Dascal, Volume spécial de Manuscrito, XXV-2, 2002. 
176. [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. [177] Zermelo, E.1913.— Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels, in [Hobson & Love, 1913, 501-4]. JFM44.0092.04