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

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 …

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 …

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

We show that the category proposed in [5] of logic system presentations equipped with
cryptomorphisms gives rise to a category of parchments that is both complete and …

The modern view of logical reasoning as modeled by a consequence operator (instead of
simply by a set of theorems) has allowed for huge developments in the study of logic as an …

Formal specification of software systems has become more and more important, especially
in safetycritical areas where one cannot take the risk of malfunction. Casl, the Common …