4 found
Sort by:
  1. Paolo Turrini, Jan Broersen, Rosja Mastop & John-Jules Meyer (2012). Regulating Competing Coalitions: A Logic for Socially Optimal Group Choices. Journal of Applied Non-Classical Logics 22 (1-2):181-202.
    In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Rosja Mastop (2011). Imperatives as Semantic Primitives. Linguistics and Philosophy 34 (4):305-340.
    This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Rosja Mastop (2011). Norm Performatives and Deontic Logic. European Journal of Analytic Philosophy 7 (2):83-105.
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems and a (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini (2009). Determining the Environment: A Modal Logic for Closed Interaction. Synthese 169 (2):351 - 369.
    The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation