| | 2004 | Schmidt, Renate A.
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415 | Journal Article | |
| | 2004 | Schmidt, Renate A.
[Tishkovsky, Dmitry] | | Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Journal Article | |
| | 2003 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | Part of a Book | |
| | 2003 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Multi-Agent Logic of Dynamic Belief and Knowledge | Unpublished/Draft | |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | Unpublished/Draft | |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | Proceedings Article | |