The paper proposes a refined analysis of the semantics and pragmatics of the Norwegian non-truth-conditional adverb jo ‘after all, of course’. According to the literature, jo indicates that the proposition is ‘given’ in some sense or other. Based on new empirical investigations, we argue that the Relevance-theoretic notion mutual manifestness (Sperber & Wilson 1986/1995, Blass 2000) accurately captures the givenness aspect of jo, and we demonstrate through authentic examples what it means for a proposition to be mutually manifest. In addition to mutual manifestness, jo signals that the proposition is a premise for deriving a conclusion. The conclusion often – but not always – opposes someone’s view. We argue that the frequent opposition interpretations are a consequence of the nature of the procedures encoded by jo. In addition to clarifying the semantic and pragmatic properties of jo, the paper sheds light on the Relevance-theoretic notion procedural semantics as well as illustrating its usefulness in the study of pragmatic particles.

In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact, the name of the new semantics comes from the fact that in the linear-logic formulation every literal (including negative ones) were considered as a resource. In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation.1 We prove formal properties of the proposed procedure. Under consideration for acceptance in TPLP.