文档介绍：Mathematical Problems
from Applied Logic I
INTERNATIONAL MATHEMATICAL SERIES
Series Editor: Tamara Rozhkovskaya
Sobolev Institute of Mathematics of the Siberian Branch
of the Russian Academy of Sciences, Novosibirsk, Russia
5. Mathematical Problems from Applied Logic II. New Logics for
the XXIst Century • D. Gabbay, S. Goncharov, M. Zakharyaschev
Eds. • 2006
4. Mathematical Problems from Applied Logic I. New Logics for
the XXIst Century • D. Gabbay, S. Goncharov, M. Zakharyaschev
Eds. • 2005
3. Different Faces of Geometry • S. Donaldson, Ya. Eliashberg, M.
Gromov Eds. • 2004
2. Nonlinear Problems in Mathematical Physics and Related Top-
ics II. In Honor of Professor O. A. Ladyzhenskaya • . Bir-
man, S. Hildebrandt, . Solonnikov, . Uraltseva Eds. • 2003
1. Nonlinear Problems in Mathematical Physics and Related Top-
ics I. In Honor of Professor O. A. Ladyzhenskaya • . Bir-
man, S. Hildebrandt, . Solonnikov, . Uraltseva Eds. • 2002
Mathematical Problems
from Applied Logic I
Logics for the XXIst Century
Edited by
Dov M. Gabbay
King’s College London
London, UK
Sergi S. Goncharov
SB Russian Academy of Sciences
Novosibirsk, Russia
and
Michael Zakharyaschev
King’s College London
London, UK
Dov M. Gabbay Sergei S. Goncharov
Department puter Science Sobolev Institute of Mathematics
King’s College London SB Russian Academy of Sciences
Strand, London WC2R 2LS Novosibirsk 630090
UK Russia
******@ ******@
Michael Zakharyaschev
Department puter Science
King’s College London
Strand, London WC2R 2LS
UK
******@
This series was founded by Kluwer/Plenum Publishers (now Springer) and the Russian
publisher Tamara Rozhkovskaya (Novosibirsk, Russia, ******@) in 2002.
Each volume is simultaneously published in English and in Russian and presents contri-
butions from volume editors and authors exclusively invited by the Series editor. The
English Camera-Ready Manuscr