| | 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 | |
| | 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 | |
| | 2003 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | | Multi-Agent Logic of Dynamic Belief and Knowledge | Unpublished/Draft | |
| | 2003 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | [Balbiani, Philippe]
[Suzuki, Nobu-Yuki]
[Wolter, Frank]
[Zakharyaschev, Michael] | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | Part of a Book | |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | [Flesca, Sergio]
[Greco, Sergio]
[Leone, Nicola]
[Ianni, Giovambattista] | | 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 | |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | Unpublished/Draft | |