  Diagrammatic logics were introduced in 2002, with emphasis on the notions of
specifications and models. In this paper we improve the description of the
inference process, which is seen as a Yoneda functor on a bicategory of
fractions. A diagrammatic logic is defined from a morphism of limit sketches
(called a propagator) which gives rise to an adjunction, which in turn
determines a bicategory of fractions. The propagator, the adjunction and the
bicategory provide respectively the syntax, the models and the inference
process for the logic. Then diagrammatic logics and their morphisms are applied
to the semantics of side effects in computer languages.
