This paper surveys the logical and mathematical foundations of CafeOBJ, which is a
successor of the famous algebraic specification language OBJ but adds to it several new …

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 …

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

In this work, we investigate various specification languages and their relation to CASL, the
recently developed Common Algebraic Specification Language. In particular, we consider …

We formulate a general institution-independent (ie independent of the details of the actual
logic formalised as institution) version of the Craig Interpolation Theorem and prove it in …

We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic
level provided by the so-called 'institutions'. Our general abstract modal logic framework …

This paper studies the composition of modules that can hide information, over a very general
class of logical systems called inclusive institutions. Two semantics are given for the …

Abstract The UniForM Workbench supports combination of Formal Methods (on a solid
logical foundation), provides tools for the development of hybrid, real-time or reactive …

CafeOBJ is an executable industrial strength multi-logic algebraic specification language
which is a modern successor of OBJ and incorporates several new algebraic specification …