Goals
According to the application for the financial support from CologNET, my primary
goal was to participate in the ongoing study in the area of quantified non-classical
logics which is a part of the long lasting cooperation between scientists from
London and Moscow.
Project
It was decided that I join the scientific and editorial work on the book "Quantification
in Non-classical logics" by D. Gabbay, V. Shehtman, D. Skvorstov together
with my supervisor Prof. Valentin Shehtman (Moscow State Univeristy) who was
visiting King's College London at the same time.
This work is closely related to my previous research in the field on interpretations
of modal logic languages in classical languages and to the program of my PhD
studies at Moscow University.
Results and future plans
One of the results of the visit was understanding the virtue of classical model
theory for non-classical quantification. Basing on this connection, I could
find a new simpler proof of Ono-Skvortsov's theorem on countable models (Chapter
3 of the book). I also succeeded in a better presentation of the results by
Suzuki on algebraic sheaf models.
It was a great pleasure to work in a Group of Logic and Computation at King's
College London headed by Prof. Dov Gabbay. During my visit, I also attended
the Group seminar and learned much on other areas of computational logic, such
as Many-dimensional modal logic, Nonmonotonic logic and others.
As for the future plans, it was agreed that I continue the work on nonclassical
quantifiers in Moscow, together with some editorial work on the above-mentioned
book. Depending on the future results, there might be a perspective of another
visit in summer 2004.
Name of the applicant: Alexey Romanov
Citizenship of the applicant: Russia
E-mail: alexey_r@mail.ru
Phone: (7-095)- 5365125
Postal address: Zelenograd, korp. 129, kv. 27 124305, Moscow, Russia
Duration of the stay: 29 th November 2003 - 15th December 2003
Home node: Faculty of Mathematics and Mechanics, Moscow State University, Russia.
Host node: Department of Computer Science, King's College London, UK