Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 14:26, 25 January 2020

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Renate A. Schmidt, Dmitry Tishkovsky, and Ullrich Hustadt
    Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
    Studia Logica 78 (3): 381-415, 2004
  2. Renate A. Schmidt and Dmitry Tishkovsky
    Multi-Agent Dynamic Logics with Informational Test
    Annals of Mathematics and Artificial Intelligence 42 (1): 5-36, 2004. Note: To appear
  3. Renate A. Schmidt and Dmitry Tishkovsky
    Combining Dynamic Logic and Doxastic Modal Logics
    In: Advances in Modal Logic, 2003, 371-391
  4. Renate A. Schmidt and Dmitry Tishkovsky
    Multi-Agent Logic of Dynamic Belief and Knowledge
    . Note: Submitted for publication.
  5. Renate A. Schmidt, Dmitry Tishkovsky, and Ullrich Hustadt
    Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
    . Note: Submitted for publication.
  6. Renate A. Schmidt and Dmitry Tishkovsky
    Multi-Agent Logic of Dynamic Belief and Knowledge
    In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), Cosenza, Italy, 2002, 38-49