UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)
UvA-DARE (Digital Academic Repository)
Logic Engineering. The Case of Description and Hybrid Logics
Publication date 2000
Link to publication
Citation for published version (APA):
Areces, C. E. (2000). Logic Engineering. The Case of Description and Hybrid Logics. ILLC dissertation series 2000-05.
It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons).
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.
Download date:24 Sep 2022
'How do you know I'm mad?' said Alice.
'You must be,' said the Cat, 'or you wouldn't have come here.' from "Alice's Adventures in Wonderland," Lewis Carroll
Writing the words I'm writing now. is the end of a long trip, long in different ways.
Obviously, it is long when measured in time, starting on the 25th of December of 1996.
the day I took the plane from Buenos Aires and ending on the 15th of July of 2000, the day I submitted this thesis to the graduation committee. And even longer than it seems when measured in kilometers, as it involves a one year stop at the University of Warwick. England where I started my doctoral work with a grant from the British Council. Only after the first year, we (my supervisor Maarten de Rijke and me) moved to the University of Amsterdam, The Netherlands, where I completed my thesis with a PhD position at the Institute of Logic, Language and Computation.
But most important of all, the trip is long when we measure it in changes: the new things I've learned and the new people I've met. I take these changes as a treasure of experiences which I will always carry with me. marking everything I will do from now on. My PhD gave me the opportunity to meet different people, visit new places and do things I've never done before. And many of the people that accompanied me in this trip deserve a place here, in the first pages of my thesis.
I want to thank many, for many reasons. As I said, the most important reason of all is the time they shared with me, in person and in thought, and the strength they lent me with this shared time. But there are also many other reasons, too many to list all of them below. For each of them I will mention at least some of the reasons, some of the marks and memories they have left with me.
I start by dedicating this thesis to my family. I thank my parents Anfbal and Esther, for teaching me, without me even realizing, how to do things by myself and how to care for people, how to be happy, and how we can be far away and still together; for the many mails and the many letters; and for all the time we missed each other. I thank Aita for years of tales, sweets, kisses and gifts; for teaching me how to swim, how to ride a bike, and how to skate even though she didn't know how to do any of the three; and for thinking all the time the best of her three grandchildren and always being proud of us.
This thesis is for Pablo, for being the best friend in addition to be the best brother. For Alejandra for being the mother of Felipe. For Felipe, for bringing so much happiness, in such a small package. And I thank Graciela for an example of how to enjoy life, and Alejandro for loving Gra.
This thesis is also for my family here, Maarten, Zsofie and Daan. We adopted each
other a long time ago, when they visited Argentina. I carried Daan in my arms through the streets of Buenos Aires, and Maarten carried me in his, through the streets of Logic.
Zsofie gave me and my family all her love, which is huge. Maarten taught me how to think, how to struggle with a proof and how to write a paper. Daan taught me how to read a Dutch poem. They have been with me during the year in England and during the time in Amsterdam, and I know I will miss them immensely the day we will not be close anymore. But as with my family in Argentina. I also know that we will always be able to be together even if far away.
Another family has played an important role in this thesis. I've forgoten already when I first met Patrick Blackburn, nowadays it is like if I knew him and his family for life. I want to thank Patrick for his examples of how to do Logic and how to teach Logic. Thanks for transmitting to me a spark of his burning passion on Hybrid Logics.
Thanks to the whole Blackburn family for making me feel really at home while visiting them. Thanks to Claire for introducing me to new, interesting connections between my work and Linguistics. Thanks to Jennifer and Gabrielle for playing with me. My joint work with Maarten and Patrick is among the most happy times in these doctoral years.
My friends in Argentina have been always with me through these years, bearing without complain (well, not many complains and well deserved in any case), the long periods of silence on my side, when I was too deep in some project to have time for answering their letters. Thanks for receiving me each time I was back in Buenos Aires with a display of parties, dinners and excursions to which I was invariably late. Thanks for making me feel as if I never left. I thank Anah'a, for a month that will last a life;
Gabriela, for telling me off when I stayed too late working in the office; Fer, for so many years of company; Veronica, for teaching me and learning from me and always, always being there; Natalia, for a sun: Barbara, for a poem and more; Pablo, for a mail each Friday; Edu and Angelita, for a visit and the fun; Ricardo, for a visit and a talk;
Gustavo, for a visit and a CD; Dan, for walking with me the first steps; Adrio, for the patience with my always delayed answers to her mails; Vale, for joining the group; Juan Martin, for coming over; Alejandro and Iris, for a spot in the Alps (O); Roberto, for a nickname; and GrAcE, for a surprise.
This thesis is dedicated also to my friends everywhere else. To Raffaella, for making me happy so many times and sad some; to Smaro, for her love; to Aleka, for the way she laughs, her voice in the phone and the rides back home with a smile in my face; to Els, for a house and her friendship: to Karianne, for sharing some happy moments with me; to Marco A., for the Italian movies; to Renata, for many parties and a question; to Eva, for a tango lesson and a question; to Nikos, Joost, Jon, Christof, Shai. Cigal, Alex, Maria, Paola. Richard, Willemijn. Rosella. Monica. Rosalie, Alessandra and Riccardo.
Caterina, Christina, Elena and Jelle, for the company along the way (and I hope we will keep walking together), to Rafael, Catarina, Hanno and Benjamin, for letting me learn from teaching (Borges said once that "No se puede ensenar algo sin aprender mucho."
so thanks for the opportunity); to Marco V., for the role playing: to Gert-Jan, for a Christmas card; to Carsten and Stephan. for the discussions: and to Ingrid. Marjan.
Marco and Peter for all the help.
A special thanks goes to Eva, who wanted to read my thesis; to Wiet Bouma, for introducing me to an interesting problem: and to Valentin Goranko, for the possibility
to discover a great person, a beautiful family and a wonderful continent. I hope we will keep our work together for many years to come.
I should thank immensely my professors, the people who at one time or another took me under their wing and were interested in my work and ideas. Besides the many things about Logic proper I learned from them, they have taught me that the field is full of brilliant people which in addition have a wish to share knowledge, discover new ideas and learn more. Learn in a symmetric way, where the students learn from the teacher, and the teacher from the students. For this I deeply thank Carlos Alchourrón, Veronica Becher, Patrick Blackburn, Roberto Cignoli, Dick de Jongh, Maarten de Rijke, David Makinson, Maarten Marx. Francisco Naishtat, Hans Rott, and Johan van Benthem.
Finally. I thank Maarten de Rijke, my supervisor, for all the things he taught me.
not all of them concerning Logic. Thanks for putting me on a path and letting me walk, deciding by myself where I really wanted to go, but always being there if I needed directions. Thanks for the many corrections to the many things we wrote together.
Thanks for always been ready with advice on any possible problem (from house hunting to references on modal interpolation). Thanks for reading carefully through the thesis, and for not getting mad at my dislike of conclusions.
Carlos Eduardo Areces Amsterdam, The Netherlands July, 2000