The theory and applications of rewriting logic have been vigorously developed by
researchers all over the world during the past eleven years. The attached bibliography …

Notice: This PDF version was distributed by request to members of the Friends of the SEP
Society and by courtesy to SEP content contributors. It is solely for their fair use …

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

A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …

Institutions formalise the intuitive notion of logical system, including syntax, semantics, and
the relation of satisfaction between them. Our exposition emphasises the natural way that …

Institution theory represents the fully axiomatic approach to model theory in which all
components of logical systems are treated fully abstractly by reliance on category theory …

Rewriting logic and its implementation Maude are an expressive framework for the formal
specification and verification of software and other kinds of systems. Concurrency is …

Grothendieck institutions generalize the flattening Grothendieck construction from (indexed)
categories,(see Sect. 2.5), to (indexed) institutions. Regarded from a fibration theoretic …

The subject of combinations of logics is still a young topic in contemporary logic. Besides the
pure philosophical interest offered by the possibility of defining mixed logic systems in which …

Rewriting logic and its implementation Maude are a natural and expressive framework for
the specification of concurrent systems and logics. Its nondeterministic local transformations …