| 1990 |
 What is Extensionality?
In J. Kelemen et al., eds.,
Annales Universitatis Scientiarum Budapestinensis De Rolando Eötvös Nominatae XXII-IIII.
pags 213-220.
|
|
| 1991 |
|
Beyond Accessibility: New Semantics for Modal Predicate Logic.
In M. de Rijke, eds.,
Modal Logic Colloquium.
Dutch Network for Language, Logic & Information,
Amsterdam, pags 1-14.
|
|
Linguistic Universals in Logical Semantics.
In D. Zaefferer, eds.,
Semantic Universals and Universal Semantics (GRASS series).
Foris, Berlin, pags 17-36.
|
|
Generalized Quantifiers and Generalized Inference.
In J. van der Does and J. van Eyck, eds.,
Generalized Quantifiers and Applications.
Dutch Network for Language, Logic & Information,
Amsterdam, pags 1-13.
|
|
| 1992 |
|
Fine-Structure in Categorial Semantics.
In M. Rosner and R. Johnson, eds.,
Computational Linguistics and Logical Semantics.
Cambridge University Press, Cambridge, pags 127157.
|
|
| 1993 |
|
Beyond Accessibility: Functional Models for Modal Logic.
In M. de Rijke, eds.,
Diamonds and Defaults.
Kluwer, Dordrecht, pags 1-18.
|
|
Quantifiers and Inference.
In M. Krynicki, M. Mostowski and L. W. Szczerba, eds.,
Quantifiers, vol. II.
Kluwer Academic Publishers, Dordrecht, pags 1-20.
|
|
Logic and the Flow of Information.
In D. Prawitz, B. Skyrms and D. Westerståhl, eds.,
Proceedings 9th International Congress of Logic, Methodology and Philosophy of Science. Uppsala 1991.
Elsevier Science Publishers, Amsterdam, pags 693-724.
|
|
| 1994 |
|
The Landscape of Deduction.
In K. Dosen and P. Schröder-Heister, eds.,
Substructural Logics.
Clarendon Press, Oxford, pags 357-376.
|
|
Dynamic Arrow Logic.
In J. van Eyck and A. Visser, eds.,
Logic and Information Flow.
The MIT Press, Cambridge (Mass.), pags 15-29.
|
|
General Dynamic Logic.
In D. Gabbay, eds.,
What is a Logical System?
Oxford University Press, Oxford, pags 107-139.
|
|
A New World Underneath Standard Logic.
In K. Apt, L. Schrijvers and N. Temme, eds.,
From Universal Morphisms to Megabytes: A Baayen Space Odyssey .
Centre for Mathematics and Computer Science (CWI),
Amsterdam, pags 179-186.
|
|
| 1995 |
|
Temporal Logic.
In D. Gabbay, C. Hoggar and J. Robinson, eds.,
Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4.
Oxford University Press,
Oxford, UK, pags 241-350.
|
|
NNIL, A Study in Intuitionistic Propositional Logic.
In A. Ponse, M. de Rijke and Y. Venema, eds.,
Modal Logic and Process Algebra (CSLI Lecture Notes).
Cambridge UP,
Stanford, pags 289-326.
[with Albert Visser, Dick de Jongh and Gerard Renardel de Lavalette].
|
|
Submodel Preservation Theorems in Finite-Variable Fragments.
In A. Ponse, M. de Rijke and Y. Venema, eds.,
Modal Logic and Process Algebra (CSLI Lecture Notes).
Cambridge UP,
Stanford, pags 1-11.
[with Hajnal Andréka and Istvan Németi].
|
|
| 1996 |
|
Quantifiers in the World of Types.
In Jaap van der Does and Jan van Eijck, eds.,
Quantifiers, Logic and Language.
CSLI Lecture Notes 54,
Stanford, pags 4762.
|
|
Complexity of Contents versus Complexity of Wrappings.
In M. Marx, M. Masuch and L. Pólos, eds.,
Arrow Logic and Multimodal Logic.
Studies in Logic, Language & Information, CSLI Publications (and Cambridge UP),
Stanford, pags 203219.
|
|
Dynamics.
In J. van Benthem and A. ter Meulen, eds.,
Handbook of Logic and Language.
Elsevier Science Publishers,
Amsterdam, pags 587-648.
[with Reinhard Muskens and Albert Visser].
|
|
Inference, Methodology and Semantics.
In P. Bystrov and V. Sadofsky, eds.,
Philosophical Logic and Logical Philosophy, Essays in Honour of Vladimir Smirnov.
Kluwer Academic Publishers,
Dordrecht, pags 63-82.
|
|
Bisimulation: The Never-Ending Story.
In J. Tromp, eds.,
A Dynamic and Quick Intellect. Liber Amicorum Paul Vitányi.
CWI,
Amsterdam, pags 23-27.
|
|
Modal Logic as a Theory of Information.
In J. Copeland, eds.,
Logic and Reality. Essays on the Legacy of Arthur Prior.
Clarendon Press,
Oxford, pags 135168.
|
|
Logic and Argumentation Theory.
In F. van Eemeren, R. Grootendorst, J. van Benthem and F. Veltman, eds.,
Proceedings Colloquium on Logic and Argumentation.
Royal Dutch Academy of Sciences,
Amsterdam, pags 2741.
|
|
| 1997 |
|
Modal Quantification over Structured Domains.
In M. de Rijke, eds.,
Advances in Intensional Logic.
Kluwer,
Dordrecht, pags 128.
[with Natasha Alechina].
|
|
| 1998 |
|
Proofs, Labels, and Dynamics in Natural Language.
In U. Reyle and H-J Ohlbach, eds.,
Festschrift for Dov Gabbay.
Kluwer Academic Publishers,
Dordrecht, pags 3141.
|
|
Shifting Contexts and Changing Assertions.
In A. Aliseda-Llera, R. van Glabbeek and D. Westerståhl, eds.,
Computing Natural Language.
,
, pags 5165.
|
|
| 1999 |
|
Modal Foundations for Predicate Logic.
In Ewa Orlowska, eds.,
Logic at Work: (To the Memory of Elena Rasiowa).
Physica Verlag,
Heidelberg, pags 3954.
|
|
Logical Constants, Computation and Simulation Invariance.
In Th. Childers, eds.,
The Logica 98 Yearbook.
Institute of Philosophy, Czech Academy of Sciences,
Prague, pags 11-19.
|
|
