1990 |
Categorial Grammar and Type Theory.
Journal of Philosophical Logic
19:2,
pags 115-168.
|
Kunstmatige Intelligentie: Een Voortzetting van de Filosofie met Andere Middelen.
Algemeen Nederlands Tijdschrift voor Wijsbegeerte
82,
pags 83-100.
|
Computation versus Play as a Paradigm for Cognition.
Acta Philosophica Fennica
49,
pags 236-251.
|
|
1991 |
Editorial Information Sciences .
Journal of Logic, Language, and Information
1:1,
pags 1-4.
|
Language in Action.
Journal of Philosophical Logic
20,
pags 1-39.
|
General Dynamics.
Theoretical Linguistics
17:1-2-3,
pags 151-201.
|
|
1992 |
Logic as Programming.
Fundamenta Informaticae
17:4,
pags 285-317.
|
Modeling the Kinematics of Meaning.
Proceed's Aristotelean Society
,
pags 105-122.
|
|
1993 |
Modal Frame Classes Revisited.
Fundamenta Informaticae
18:2-3-4,
pags 307-317.
|
The Elusive Locus of Logicality (guest editorial).
Journal of Logic and Computation
3:5,
pags 451-453.
|
Reflections on Epistemic Logic.
Logique et Analyse
34:133-134,
pags 5-14.
|
|
1994 |
Modal Logic, Transition Systems and Processes.
Journal of Logic and Computation
4:5,
pags 811-855.
[with Jan van Eyck and Vera Stebletsova].
|
|
1995 |
Logic of Transition Systems.
Journal of Logic, Language and Information
3:4,
pags 247-283.
[with Jan Bergstra].
|
Directions in Generalized Quantifier Theory.
Studia Logica
55:3,
pags 389-419.
[with Dag Westerståhl].
(Text available).
|
Back and Forth Between Modal Logic and Classical Logic.
Bulletin of the Interest Group in Pure and Applied Logics
3,
pags 685-720.
[with H. Andréka and I. Németi].
|
|
1996 |
Logica in Beweging: de dynamiek van redeneren en betekenis.
Handelingen KNAW.
|
Wat is Mis met de Filosofie?
Ergo Cogito
5,
pags 27-36.
|
Space, Time and Computation: Trends and Problems (editorial).
International Journal of Applied Intelligence (special issue on Spatial and Temporal Reasoning)
6:1,
pags 5–9.
[with Frank Anger, Rita Rodriguez and Hans Guesgen].
|
|
1997 |
Logic, Language and Information: The Makings of a New Science? (guest editorial).
Journal of Logic, Language and Information
6:1,
pags 1-3.
|
Cognitive Actions in Focus (guest editorial).
Journal of Logic, Language and Information (special TARK issue)
6:2,
pags 119–121.
[with co-editor Yoav Shoham].
|
Modal Foundations for Predicate Logic.
Logic Journal of the IGPL (Proceedings WoLLIC, Recife 1995)
5:2,
pags 259–286.
|
Modal Deduction in Second-Order Logic and Set Theory. Part I.
Logic and Computation
7:2,
pags 251–265.
[with Giovanna d'Agostino, Angelo Montanari and Alberto Policriti].
(Text available).
|
|
1998 |
Programming Operations that are Safe for Bisimulation.
Studia Logica
60:2,
pags 311-330.
|
Logische Dynamiek.
Themanummer ANTW
90:1,
pags 54-70.
|
Modal Logics and Bounded Fragments of Predicate Logic.
Journal of Philosophical Logic
27:3,
pags 217-274.
[with H. Andréka and I. Németi].
|
Modal Deduction in Second-Order Logic and Set Theory. Part II.
Studia Logica
60:3.
pags 387–420.
[with Giovanna d'Agostino, Angelo Montanari and Alberto Policriti].
(Text available).
|
Points on Time.
ENRAC Electronic Newsletter (Colloquium on Reasoning about Actions and Change)
4:10.
|
|
1999 |
Temporal Patterns and Modal Structure.
Logic Journal of the IGPL (special issue on Temporal Logic)
7:1,
pags 7–26.
(Text available).
|
Modality, Bisimulation and Interpolation in Infinitary Logic.
Annals of Pure and Applied Logic
96,
pags 29–41.
(Text available).
|
Interpolation, Preservation, and Pebble Games.
Journal of Symbolic Logic
64:2,
pags 881–903.
[with Jon Barwise].
(Text available).
|
The Range of Modal Logic.
Journal of Applied Non-Classical Logics (issue in Memory of George Gargov)
9:2-3,
pags 407-442.
(Text available).
|
|