List of contributors
Preface
Introduction
1. Submodel Preservation Theorems in Finite Variable Fragments H. Andreka, J. van Benthem, and I. Nemeti
2. Process Algebra with Feedback J. C. M. Baeten, J. A. Bergstra, and Gh. Stefanescu
3. Frame-Based Process Logics J. A. Bergstra and A. Ponse
4. Re-interpreting the Modal m-Calculus Marcello M. Bonsangue and Marta Z. Kwiatkowska
5. Bisimulation of Context-Free Grammars and of Pushdown Automata Didier Caucal
6. Saturation and the Hennessy-Milner Property Robert Goldblatt
7. A Modal Logic for mCRL J. F. Groote and S. F. M. van Vlijmen
8. Deciding Equivalences in Simple Process Algebras Yoram Hirshfeld and Faron Moller
9. Expressive Completeness of Until and Since over Dedekind
10. Hennessy-Milner Classes and Process Algebra Marco Hollenberg
11. A Lindstrom Theorem for Modal Logic
12. A Calculus of Transition Systems (towards Universal Coalgebra) J. J. M. M. Rutten
13. On the Parallel Complexity of Bisimulation and Model Checking Scott A. Smolka, Oleg Sokolsky and Shipei Zhang
14. NNIL, a Study in Intuitionistic Propositional Logic Albert Visser, Johan van Benthem, Dick de Jongh and Gerard R. Renardel de Lavalette
Appendix A: IPC as a Fragment of Predicate Logic
Appendix B:Zigzag-simulations
B.1 Extended Numbers
B.2 Basics of Zigzag-simulations
B.3 Preorders based on Zigzag-simulations
B.4 Main Results
References
Author Index.