Switch to: References

Add citations

You must login to add citations.
  1. Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt - 2004 - Studia Logica 78 (3):381-415.
    This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation