Non-normal modalities in variants of Linear Logic

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic Linear Logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatization and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the logical framework to use by instantiating it as logics of agency. In particular, we propose a logic to reason about the resource-sensitive use of artefacts and illustrate it with a variety of examples

Semantics and Ontology:\ud On the Modal Structure of an Epistemic Theory of Meaning

In this paper I shall confront three basic questions.\ud First, the relevance of epistemic structures, as formalized\ud and dealt with by current epistemic logics, for a\ud general Theory of meaning. Here I acknowledge M. Dummett"s\ud idea that a systematic account of what is meaning of\ud an arbitrary language subsystem must especially take into\ud account the inferential components of meaning itself. That\ud is, an analysis of meaning comprehension processes,\ud given in terms of epistemic logics and semantics for epistemic\ud notions.\ud The second and third questions relate to the ontological\ud and epistemological framework for this approach.\ud Concerning the epistemological aspects of an epistemic\ud theory of meaning, the question is: how epistemic logics\ud can eventually account for the informative character of\ud meaning comprehension processes. "Information� seems\ud to be built in the very formal structure of epistemic processes,\ud and should be exhibited in modal and possibleworld\ud semantics for propositional knowledge and belief.\ud However, it is not yet clear what is e.g. a possible world.\ud That is: how it can be defined semantically, other than by\ud accessibility rules which merely define it by considering its\ud set-theoretic relations with other sets-possible worlds.\ud Therefore, it is not clear which is the epistemological status\ud of propositional information contained in the structural\ud aspects of possible world semantics. The problem here\ud seems to be what kind of meaning one attributes to the\ud modal notion of possibility, thus allowing semantical and\ud synctactical selectors for possibilities. This is a typically\ud Dummett-style problem.\ud The third question is linked with this epistemological\ud problem, since it is its ontological counterpart. It concerns\ud the limits of the logical space and of logical semantics for a\ud of meaning. That is, it is concerned with the kind of\ud structure described by inferential processes, thought, in a\ud fregean perspective, as pre-conditions of estentional\ud treatment of meaning itself. The second and third questions\ud relate to some observations in Wittgenstein"s Tractatus.\ud I shall also try to show how their behaviour limits the\ud explicative power of some semantics for epistemic logics\ud (Konolige"s and Levesque"s for knowledge and belief)

Logics for modelling collective attitudes

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained