Switch to: References

Add citations

You must login to add citations.
  1. An Internal Version of Epistemic Logic.Guillaume Aucher - 2010 - Studia Logica 94 (1):1-22.
    Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • A logical formalization of the OCC theory of emotions.C. Adam, A. Herzig & D. Longin - 2009 - Synthese 168 (2):201-248.
    In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations