Search the dblp DataBase

Publications of Author

1. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
   Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2004, pp:17-51 [Conf]
   
2. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
   Definitorially Complete Description Logics. [Citation Graph (0, 0)][DBLP]
   KR, 2006, pp:79-89 [Conf]
   
3. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
   Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
   
4. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
   Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:579-612 [Journal]
   
5. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
   Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
6. 
   Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. [Citation Graph (, )][DBLP]