# | | Year | | Title | Type | |
1 |
| Schäf [-] |
| |
1 |
| |
6 |
| Schmidt [-] |
| |
1 |
| Schmidt [Böttner, Thümmel] |
| |
1 |
| Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev] |
| |
| | 1998 | | Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | Part of a Book | |
1 |
| Schmidt [Nipkow] |
| |
1 |
| Schmidt, Hustadt [Hustadt, Baader] |
| |
1 |
| Schmidt, Orłowska, Hustadt [Or{ |
| |
1 |
| Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky] |
| |
1 |
| Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni] |
| |
1 |
| Schmidt, Tishkovsky [Schmidt, Tishkovsky] |
| |
1 |
| Schmidt, Tishkovsky [Tishkovsky] |
| |
1 |
| Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt] |
| |
1 |
| Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt] |
| |
1 |
| |
1 |
| She, Ratschan [-] |
| |
1 |
| She, Xia, Xiao [Xiao, Kovalerchuk] |
| |
1 |
| Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling] |
| |
1 |
| |
8 |
| Socher-Ambrosius [-] |
| |
14 |
| |
1 |
| Sofronie-Stokkermans [Autexier, Mantel] |
| |
1 |
| Sofronie-Stokkermans [Cachro, Kijania-Placek] |
| |
1 |
| Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer] |
| |
1 |
| Sofronie-Stokkermans [Egly, Fermüller] |
| |
1 |
| Sofronie-Stokkermans [Eklund, Escalada-Imaz, Haehnle, Vojtas] |
| |
1 |
| Sofronie-Stokkermans [Fitting, Orlowska] |
| |
1 |
| Sofronie-Stokkermans [Furbach, Shankar] |
| |
1 |
| Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen] |
| |