Switch to: References

Add citations

You must login to add citations.
  1. The expressibility of fragments of Hybrid Graph Logic on finite digraphs.James Gate & Iain A. Stewart - 2013 - Journal of Applied Logic 11 (3):272-288.
    Download  
     
    Export citation  
     
    Bookmark  
  • A logic for diffusion in social networks.Zoé Christoff & Jens Ulrik Hansen - 2015 - Journal of Applied Logic 13 (1):48-77.
    This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a complete axiomatization and a terminating and complete tableau system for this logic and show how to apply the framework to diffusion phenomena documented in social networks analysis.
    Download  
     
    Export citation  
     
    Bookmark   13 citations