2000 |
Linguistic Grammar as Dynamic Logic.
In V. M. Abrusci and C. Casadio, eds.,
Dynamic Perspectives in Logic and Linguistics.
Bulzoni,
Roma, pags 7-17.
(Text available).
|
Reasoning in Reverse
(preface).
In P. Flach and A. Kakas, eds.,
Abduction and Induction, their Relation and Integration.
Kluwer,
Dordrecht, pags ix-xi.
|
Explaining language by economic behaviour .
In A. Rubinstein, ed.,
Economics and Language.
Cambridge University Press,
Cambridge, pags 93-107.
|
|
2001 |
Modal Logic in Two Gestalts.
In M. de Rijke, H. Wansing and M. Zakharyashev, eds.,
Advances in Modal logic II, Uppsala 1998.
CSLI Publications,
Stanford, pags 73-100.
(Text available).
|
Higher-Order Logic (reprint with addenda).
In D. Gabbay and F. Guenthner, ed.,
Handbook of Philosophical Logic, vol. I, second edition.
Kluwer,
Dordrecht, pags 189-243.
(Text available).
|
Correspondence Theory (reprint with addenda).
In D. Gabbay and F. Guenthner, ed.,
Handbook of Philosophical Logic, vol. III, second edition.
Kluwer,
Dordrecht, pags 325-408.
(Text available).
|
Nonstandard Reasoning.
In
International Encyclopedia of the Behavioral and Social Sciences, volume 16.
Elsevier,
Colchester, UK, pags 10696-10699.
|
|
2002 |
Invariance and Definability: two faces of logical constants.
In W. Sieg, R. Sommer and C. Talcott, eds.,
Reflections on the Foundations of Mathematics. Essays in Honor of Sol Feferman.
ASL Lecture Notes in Logic 15,
, pags 426-446.
(Text available).
|
Mathematical Logic and Natural Language.
In B. Löwe, W. Malzkorn, and T. Rasch, eds.,
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics.
Kluwer,
Dordrecht, pags 25-38.
(Text available).
|
Modal Logic.
In D. Jacquette, ed.,
A Companion to Philosophical Logic.
Blackwell,
Oxford, pags 391-409.
(Text available).
|
Logical Patterns in Space.
In D. Beaver et al, eds.,
Words, Proofs, and Diagrams.
CSLI Publications,
Stanford, pags 5-25.
[with Marco Aiello].
(Text available).
|
Action and Procedure in Reasoning.
In M. MacCrimmon and P. Tillers, eds.,
The Dynamics of Judicial Proof.
Physica Verlag,
Heidelberg, pags 243-259.
(Text available).
|
|
2003 |
Rational Dynamics and Epistemic Logic in Games.
In S. Vannucci, ed.,
Logic, Game Theory and Social Choice III.
University of Siena, Department of political economy,
Siena, pags 19-23.
(Text available).
|
Logic for Concurrency and Synchronization (guest preface).
In R. de Queiroz, ed.,
Trends in Logic.
Kluwer,
Dordrecht, pags xvii.
(Text available).
|
Logic and Game Theory: close encounters of the third kind.
In G. Mints and R. Muskens, eds.,
Games, Logic, and Constructive Sets.
CSLI Publications,
Stanford, pags 3-22.
|
Fifty Years: Changes and Constants in Logic.
In V. Hendricks and J. Malinowski, eds.,
Trends in Logic, 50 Years of Studia Logica.
Kluwer,
Dordrecht, pags 35-56.
|
Categorial Grammar at a Cross-Roads.
In G.-J. Kruijff and R. Oehrle, eds.,
Resource-Sensitivty, Binding, Anaphora.
Kluwer,
Dordrecht, pags 3-21.
(Text available).
|
Is there still Logic in Bolzano's Key?
In E. Morscher, ed.,
Bernard Bolzanos Leistungen in Logik, Mathematik und Physik Bd.16.
Academia Verlag,
Sankt Augustin, pags 11-34.
(Text available).
|
Structural Properties of Dynamic Reasoning.
In J. Peregrin, eds.,
Meaning: the Dynamic Turn.
Elsevier,
Amsterdam, pags 15-31.
(Text available).
|
|
2004 |
The Inexhaustible Content of Modal Boxes.
In A. Troelstra, ed.,
Liber Amicorum for Dick de Jongh.
ILLC,
Amsterdam.
(Text available).
|
De Kunst van het Vergaderen.
In Wiebe van der Hoek, ed.,
Liber Amicorum 'John-Jules Charles Meijer 50'.
Onderzoeksschool SIKS,
Utrecht, pags 5-7.
|
Probabilistic Features in Logic Games (invited presentation, Open Court Symposium, APA Chicago).
In D. Kolak and J. Symons, eds.,
Quantifiers, Questions, and Quantum Physics.
Springer Verlag,
New York, pags 189-194.
|
|
2005 |
The Categorial Fine-Structure of Natural Language.
In C. Casadio, P.J. Scott and R.A.G. Seely, eds.,
Language and Grammar: Studies in Mathematical Linguistics and Natural Language (CSLI Lecture Notes 168).
CSLI Publications,
Stanford, pags 3-29.
(Text available).
|
An Essay on Sabotage and Obstruction.
In D. Hutter, eds.,
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 69th Birthday.
Springer Verlag,
, pags 268 - 276.
(Text available).
|
Formal Methods in Philosophy.
In V. Hendricks & J. Symons, eds.,
Formal Philosophy.
Automatic Press,
New York and London, pags .
|
Open Problems in Logic and Games.
In S. Artemov, H. Barringer, A. d'Avila Garcez, L. Lamb and J. Woods, eds.,
Essays in Honour of Dov Gabbay.
King's College Publications,
London, pags 229-264.
(Text available).
|
A Note on Modeling Theories.
In R. Festa, A. Aliseda and J. Peijnenburg, eds.,
Confirmation, Empirical Progress and Truth Approximation. Essays in Debate with Theo Kuipers.
Rodopi,
Amsterdam, pags 403-419.
(Text available).
|
The Geometry of Knowledge.
In J.-Y. Béziau, A. Costa Leite and A. Facchini, eds.,
Aspects of Universal Logic.
Centre de Recherches Sémiologiques, Université de Neuchatel,
Neuchatel, pags 1-31.
[with Darko Sarenac].
(Text available).
|
|
2006 |
Open Problems in Update Logic.
In D. Gabbay, S. Goncharov and M. Zakharyashev, eds.,
Mathematical Problems from Applied Logic I.
Springer,
pags 137-192.
(Text available).
|
The Epistemic Logic of IF Games.
In R. Auxier and L. Hahn, eds.,
The Philosophy of Jaakko Hintikka (Schilpp Series).
Open Court Publishers,
Chicago, pags 481-513.
(Text available).
|
A New Modal Lindström Theorem.
In H. Lagerlund, S. Lindström and R. Sliwinski, eds.,
Modality Matters.
University of Uppsala,
Uppsala, pags 55-60.
(Text available).
|
Preference Logic, Conditionals, and Solution Concepts in Games.
In H. Lagerlund, S. Lindström and R. Sliwinski, eds.,
Modality Matters.
University of Uppsala,
Uppsala, pags 61-76.
[with Sieuwert van Otterloo and Olivier Roy].
(Text available).
|
Logical Construction Games.
In T. Aho and A.-V. Pietarinen, eds.,
Truth and Games, essays in honour of Gabriel Sandu.
Acta Philosophica Fennica 78,
, pags 123-138.
(Text available).
|
Alternative Logics and Classical Concerns.
In J. van Benthem, G. Heinzmann, M. Rebuschi and H. Visser, eds.,
The Age of Alternative Logics.
Springer,
Dordrecht, pags 1-7.
|
A Mini-Guide to Logic in Action (updated version).
In F. Stadler & M. Stöltzner, eds.,
Time and History.
Ontos Verlag,
Frankfurt, pags 419-440.
(Text available).
|
One is a Lonely Number: on the logic of communication.
In Z. Chatzidakis, P. Koepke and W. Pohlers, eds.,
Logic Colloquium '02.
ASL & A.K. Peters,
Wellesley MA, pags 96 - 129.
(Text available).
|
Logic in Philosophy.
In D. Jacquette, eds.,
Handbook of the Philosophy of Logic.
Elsevier,
Amsterdam, pags .
(Text available).
|
Modal Logic. A Semantic Perspective.
In J. van Benthem, P. Blackburn and F. Wolter, eds.,
Handbook of Modal Logic.
Elsevier,
Amsterdam, pags 1-84.
[with Patrick Blackburn].
(Text available).
|
|
2007 |
Cognition as Interaction.
In G. Bouma, I. Kräer and J. Zwarts, eds.,
Cognitive Foundations of Interpretation.
KNAW,
Amsterdam, pags 27 - 38.
(Text available).
|
A Meeting of the Minds (editorial).
In J. van Benthem, Ju Shier and Frank Veltman, eds.,
Proceedings LORI Workshop Beijing August 2007.
King's College Publications,
London.
[with Ju Shier and Frank Veltman].
(Text available).
|
What is Spatial Logic? (editorial)
In Marco Aiello, J. van Benthem and Ian Pratt-Hartmann, eds.,
Handbook of Spatial Logics.
Springer,
Dordrecht, pags 1-11.
[with Marco Aiello and Ian Pratt-Hartmann].
|
Modal Logics of Space.
In M. Aiello et. al., eds.,
Handbook of Spatial Logics.
Springer,
Dordrecht, pags 217-298.
[with Guram Bezhanishvili].
(Text available).
|
Five Questions on Philosophy of Mathematics.
In V. Hendricks and H. Leitgeb, eds.,
Philosophy of Mathematics, Five Questions.
Automatic Press,
Copenhagen.
(Text available).
|
Five Questions on Games.
In V. Hendricks and P. Guldborg Hansen, eds.,
Game Theory, Five Questions.
Automatic Press,
Copenhagen.
(Text available).
|
Logic Games, From Tools to Models of Interaction.
In A. Gupta, R. Parikh and J. van Benthem, eds.,
Logic at the Crossroads.
Allied Publishers,
Mumbai, pags 283-317.
(Text available).
|
|
2008 |
Modal Fixed-Point Logic and Changing Models.
In A. Avron, N. Dershowitz and A. Rabinovich, eds.,
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of his 85th Birthday.
Springer,
Berlin, pags 146-165.
[with Daisuke Ikegami].
(Text available).
|
Games that Make Sense: logic, language and multi-agent interaction.
In K. Apt and R. van Rooij, eds.,
New Perspectives on Games and Interaction (volume 4 of Texts in Logic and Games).
Amsterdam University Press,
Amsterdam, pags 197-209.
(Text available).
|
Computation as Conversation.
In S. Cooper, B. Löwe & A. Sorbi, eds.,
New Computational Paradigms, Changing Conceptions of What is Computable.
Springer,
New York, pags 35-58.
(Text available).
|
Information Is What Information Does.
In Pieter Adriaans and J. van Benthem, eds.,
Handbook of the Philosophy of Information.
Elsevier,
Amsterdam.
[with Pieter Adriaans].
(Text available).
|
The Logical Stories of Information.
In Johan van Benthem and Pieter Adriaans, eds.,
Handbook of the Philosophy of Information.
Elsevier,
Amsterdam.
[with Maricarmen Martinez].
(Text available).
|
Man Muss Immer Umkehren.
In C. Dégremont, L. Keiff and H. Rueckert,, eds.,
Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman.
College Publications,
London, pags .
(Text available).
|
A Brief History of Natural Logic.
In M. Chakraborty, B. Löwe, M. Nath Mitra and S. Sarukkai, eds.,
Logic, Navya-Nyaya & Applications, Homage to Bimal Krishna Matilal.
College Publications,
London.
(Text available).
|
|
2009 |
Logic and Philosophy in the Century That Was.
In F. Stoutland, eds.,
Philosophical Probings: Essays on Von Wright's Later Work.
Automatic Press,
Roskilde, pags 163-167.
(Text available).
|
Preface of
E. W. Beth, Door Wetenschap tot Wijsheid.
Amsterdam Academic Archive.
[with Henk Visser].
|
Editor's Preface.
Wiebefest 2009.
Department of Computing, University of Liverpool.
[with John.Jules Meijer, Cees Witteveen, and Mike Wooldrige].
|
Preface.
In L. Kurzen and F. R. Velázquez-Quesada, eds.,
Logical for Dynamics of Information and Preferences, Seminar yearbook.
ILLC,
Amsterdam, pags vii - viii.
(Text available).
|
Argumentation in the Lense of Artificial intelligence, Preface.
In I. Rahwan and G. Simari, eds.,
Argumentation in Artificial Intelligence.
Springer, pags vii - viii.
|
Preface.
In U. Wybraniec-Skardowska, eds.,
Polish Logic, a few lines from a personal perspective.
ILLC prepublications.
Amsterdam.
(Text available).
|
Actions that Make Us Know.
In J. Salerno, eds.,
New Essays on the Knowability Paradox.
Oxford University Press,
Oxford, pags 129-146.
(Text available).
|
For Better or for Worse: Dynamic logics of preference.
In T. Grüne-Yanoff and S.-O. Hansson, eds.,
Preference Change.
Springer,
Dordrecht, pags 57-84.
(Text available).
|
|