A logic’s proper semantics Universiteit Gent
Many logics are sound and complete with respect to a multiplicity of semantic systems that assign different sets of models to the logic. If all these semantic systems are equally `good', a series of problems results, as will be shown in Section 1. In this paper I present a method to define for each logic L (from a huge class, comprising all usual deductive logics) a unique `proper' semantics and I argue that it is justified to consider this ...