Abstract is missing.
- An Overview of Fibred Semantics and the Combination of LogicsDov M. Gabbay. 1-55
- Generalising Propositional Modal Logic Using Labelled Deductive SystemsAlessandra Russo. 57-73
- A Topography of Labelled Modal LogicsDavid A. Basin, Seán Matthews, Luca Viganò. 75-92
- Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a ConditionalLuis Fariñas del Cerro, Andreas Herzig. 93-102
- A New Correctness Proof of the {Nelson-Oppen} Combination ProcedureCesare Tinelli, Mehdi T. Harandi. 103-119
- Cooperation of Decision Procedures for the Satisfiability ProblemChristophe Ringeissen. 121-139
- Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning SystemsFausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott. 157-174
- Natural Language Presentation and Combination of Automatically Generated ProofsBernd I. Dahn, Andreas Wolf. 175-192
- Symbolic Computation: Computer Algebra and LogicBruno Buchberger. 193-219
- Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation SystemsJacques Calmet, Karsten Homann. 221-234
- Logic Tuple Spaces for the Coordination of Heterogeneous AgentsEnrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti. 235-248
- Integration Systems and Interaction SpacesChristopher Landauer, Kirstie L. Bellman. 249-266
- Combining Solvers in a Meta Constraint Logic Programming ArchitectureEvelina Lamma, Michela Milano, Paola Mello. 267-283
- Membership-Constraints and Complexity in Logic Programming with SetsFrieder Stolzenburg. 285-302
- Integrating Lists, Multisets, and Sets in a Logic Programming FrameworkAgostino Dovier, Alberto Policriti, Gianfranco Rossi. 303-319
- CLP(chi) for Proving Program PropertiesFrédéric Mesnard, Sébastien Hoarau, Alexandra Maillard. 321-338
- First-Order Constrained Lambda CalculusJohn N. Crossley, Luis Mandel, Martin Wirsing. 339-356
- Unified Relational Framework for Programming Paradigm CombinationNaji Habra, Baudouin Le Charlier. 357-375
- Model Checking ACTL Constrained ProcessesXiao Jun Chen. 377-388