文档介绍：Mathematical Problems
from Applied Logic II
INTERNATIONAL MATHEMATICAL SERIES
Series Editor: Tamara Rozhkovskaya
Sobolev Institute of Mathematics of the Siberian Branch
of the Russian Academy of Sciences, Novosibirsk, Russia
1. Nonlinear Problems in Mathematical Physics and Related Topics I. In
Honor of Professor . Ladyzhenskaya ● . Birman, S. Hildebrandt,
. Solonnikov, . Uraltseva Eds. ● 2002
2. Nonlinear Problems in Mathematical Physics and Related Topics II. In
Honor of Professor . Ladyzhenskaya ● . Birman, S. Hildebrandt,
. Solonnikov, . Uraltseva Eds. ● 2003
3. Different Faces of Geometry ● S. Donaldson, Ya. Eliashberg, M. Gromov
Eds. ● 2004
4. Mathematical Problems from Applied Logic I. Logics for the XXIst
Century ● D. Gabbay, S. Goncharov, M. Zakharyaschev Eds. ● 2006
5. Mathematical Problems from Applied Logic II. Logics for the XXIst
Century ● D. Gabbay, S. Goncharov, M. Zakharyaschev Eds. ● 2007
Mathematical Problems
from Applied Logic II
Logics for the XXIst Century
Edited by
Dov M. Gabbay
King’s College London
London, UK
Sergei S. Goncharov
Sobolev Institute of Mathematics
SB Russian Academy of Sciences
Novosibirsk, Russia
Michael Zakharyaschev
Birkbeck College
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
School puter Science and
Information Systems
Birkbeck College
Malet Street
London WC1E 7HX
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 contributions from volume edi-
tors and authors exclusively invited by the series editor.