| |
| 2007 | ||
|---|---|---|
| 7 | EE | Balder ten Cate, Tadeusz Litak: Topological Perspective on the Hybrid Proof Rules. Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007) |
| 2006 | ||
| 6 | EE | Tadeusz Litak: Isomorphism via translation. Advances in Modal Logic 2006: 333-351 |
| 5 | EE | Tadeusz Litak: Algebraization of Hybrid Logic with Binders. RelMiCS 2006: 281-295 |
| 2005 | ||
| 4 | EE | Tadeusz Litak, Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81(2): 153-165 (2005) |
| 2004 | ||
| 3 | EE | Tadeusz Litak: On Notions of Completeness Weaker than Kripke Completeness. Advances in Modal Logic 2004: 149-169 |
| 2 | EE | Tadeusz Litak: Modal Incompleteness Revisited. Studia Logica 76(3): 329-342 (2004) |
| 2002 | ||
| 1 | EE | Tadeusz Litak: A Continuum of Incomplete Intermediate Logics. Reports on Mathematical Logic 36: 131-141 (2002) |
| 1 | Balder ten Cate | [7] |
| 2 | Frank Wolter | [4] |