| 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) |
