We are currently collecting comments, criticisms, and testimonials for the evaluation of our efforts by our public funders. If you want to share any thoughts that we may use in our report, please feel free to send us your comments!
Torben Braüner: Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.191-226
Ralf Küsters, Ralf Molitor: Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.227-259
Dmitrij P. Skvortsov: On the Predicate Logic of Linear Kripke Frames and some of its Extensions.261-282
Ewa Palka: Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2.283-292
Volume 81, Number 3, December 2005
Pavel Naumov: On Modal Logics of Partial Recursive Functions.295-309