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 …

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 work presents some results about the categorial relation between logics and their
associated categories of structures. A (propositional, finitary) logic is a pair given by a …

Fibring is a metalogical constructor that permits to combine different logics by operating on
their deductive systems under certain natural restrictions, as for example that the two given …

In this paper we address the question of recovering a logic system by combining two or more
fragments of it. We show that, in general, by fibring two or more fragments of a given logic …

In this paper we address the question of recovering a logic system by combining two or more
fragments of it. We show that, in general, by fibring two or more fragments of a given logic …

Fibring [3, 5, 6] is recognized as one of the main mechanisms for combining logics, namely
because of the general preservation results that have been established for different …

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 …

1 Background The practical significance of the problem of combining logics is widely
recognized, namely in knowledge representation (within artificial intelligence) and in formal …

In this paper a variation of the fibred semantics of D. Gabbay called plain fibring is proposed,
with the aim of combining logics given by matrix semantics. It is proved that the plain fibring …