1 |
| Zaha, Johannes Maria (ed.) |
| |
2 |
| Zakharyaschev, Michael (ed.) |
| |
| | 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 | |
| | 2001 | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | [Zakharyaschev, Michael]
[Segerberg, Krister]
[de Rijke, Maarten]
[Wansing, Heinrich] | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | Part of a Book | |
1 |
| Zilberstein, Shlomo (ed.) |
| |