Search the dblp DataBase

Publications of Author

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