Vriendenboek
ofwel
Liber Amicorum

ter gelegenheid van het afscheid van

Dick de Jongh

Table of Contents
L. Afanasiev, M. Marx (editors)
   Essays dedicated to Dick de Jongh, with contributions by D. Dimitriadis, M. Pauly, C. Dutilh-Novaes, A. Giannakoulopoulos, S.A. Cable, R. Singh, C. Zhou, T.M. Martinez, J. Ruan
K. Apt
   Brief aan Dick
S. Artemov, R. Iemhoff
   From de Jongh's Theorem to intuitionistic logic of proofs
J.F.A.K. van Benthem
   The inexhaustible content of modal boxes
G. Bezhanishvili, L. Esakia, D. Gabelaia
   Modal logics of submaximal and nodec spaces
N. Bezhanishvili
   De Jongh's characterization of intuitionistic propositional calculus
M. Bilkova, E. Goris, J. Joosten
   Smart labels
S.A. Cable, see Afanasiev
B. ten Cate, M. Marx, P. Viana
   Sahlqvist theory for hybrid logic
H. van Ditmarsch
   The case of the hidden hand
H.C. Doets
   Eerste jaar bij Dick
C. Dutilh-Novaes, see Afanasiev
L. Esakia, see G. Bezhanishvili
D. Gabelaia, see G. Bezhanishvili
A. Giannakoulopoulos, see Afanasiev
E. Goris, see Bilkova
L. Hendriks
   Explorations and computations in bidirectional intuitionistic propositional logic
R. Iemhoff
   The rules of intermediate logic
R. Iemhoff, see also Artemov
T. Janssen,
   Samenwerken met Dick
G. Japaridze
   The simplest computability-logic completeness proof
D.H.J. de Jongh, F. Veltman, R. Verbrugge
   Completeness by construction for tense logics of linear time
J.J. Joosten, A. Visser
   How to derive principles of interpretability logic. A toolkit
J.J. Joosten, see also Bilkova
M. Kalsbeek
   Poems by Paul Auster. Translations
   Two drawings
T. Kassenaar
   Piece
I.M. van Loon
   Al die kanten van Dick
B. Löwe
   Set theory with and without urelements and categories of intepretations
T.M. Martinez, see Afanasiev
M. Marx, see Ten Cate
M. Marx, see also Afanasiev
F. Montagna
   A short note on essentially-Σ­1 sentences
A. Palmigiano
   Dualities for Some Intuitionistic Modal Logics
P.H. Rodenburg
   Definability in components
S.A. Ruan, see Afanasiev
Y. Seginer
   Tarzan and the learning of language from text
R. Singh, see Afanasiev
C.A. Smorynski
   From Craig Smorynski's album (1974)
S.A. Terwijn
   Intuitionistic logic and computation
A.S. Troelstra
   Brief ter gelegenheid van je zestigste verjaardag
P. van Ulsen
   De visie van Dick's leermeester op het wiskunde-onderwijs
M. Veldhuisen
   Brief aan Dick
F. Veltman, see de Jongh
R. Verbrugge, see de Jongh
Viana, see Ten Cate
Visser, see Joosten
P. Vitányi
   Knowing Dick de Jongh
R. v.d. Waall
   Brief
   Sesquilinear forms: a crash-course-survey
C. Zhou
   Perp and star in the light of modal logic
C. Zhou, see also Afanasiev

Institute for Logic, Language and Computation, 2004.