–
Room P3.10, Mathematics Building
João Rasga, Instituto Superior Técnico
Preservation of completeness by fibring labelled first-order based logics
Sufficient conditions are established for the completeness of (world) labelled first-order based logics. These conditions are shown to be preserved by fibring, leading to the preservation of completeness. A comparison with non-labeled approaches is outlined. Some examples are given involving modal and relevance logics.