As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

For the specification of large software systems, heterogeneous multi-logic specifications are
needed, since complex problems have different aspects that are best specified in different …

It is a task of philosophy to explain the sense in which contemporary science uses the label
“logics”, specially through “logics in”(natural language, program verification, machine …

We study a version of the Craig interpolation theorem as formulated in the framework of the
theory of institutions. This formulation proved crucial in the development of a number of key …

The semantic collapse problem is perhaps the main difficulty associated to the very powerful
mechanism for combining logics known as fibring. In this paper we propose cryptofibred …

Abstract Development graphs are a tool for dealing with structured specifications in a formal
program development in order to ease the management of change and reusing proofs …

In [6] it was shown that fibring could be used to combine institutions presented as c-
parchments, and several completeness preservation results were established. However …

Until recently, truth-functionality has been considered essential to the mechanism for
combining logics known as fibring. Following the first efforts towards extending fibred …

This paper addresses issues arising in the systematic construction of large logical systems.
We rely on a model-theoretic view of logical systems, captured by institutions that are in turn …

Logics of a combined nature were abundant in the literature when, in the mid 1990s, the
study of general mechanisms for combining logics developed into a well-posed research …