- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j8 |      | Willem Conradie, Alessandra Palmigiano: Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Logic 163(3): 338-376 (2012) |
| c4 | | Willem Conradie, Salih Durhan, Guido Sciavicco: An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. TIME 2012: 47-54 |
| 2011 | ||
| c3 | | Willem Conradie, Guido Sciavicco: On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. CAEPIA 2011: 173-182 |
| 2010 | ||
| j7 | | Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Applied Logic 8(4): 319-333 (2010) |
| 2009 | ||
| j6 | | Willem Conradie: Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. Electr. Notes Theor. Comput. Sci. 231: 175-190 (2009) |
| j5 | | Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Inform. 92(4): 307-343 (2009) |
| 2008 | ||
| j4 | | Willem Conradie, Valentin Goranko: Algorithmic correspondence and completeness in modal logic. Journal of Applied Non-Classical Logics 18(2-3): 175-211 (2008) |
| 2006 | ||
| j3 | | Willem Conradie: On the strength and scope of DLS. Journal of Applied Non-Classical Logics 16(3-4): 279-296 (2006) |
| j2 | | Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Logical Methods in Computer Science 2(1) (2006) |
| j1 | | Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. 16(5): 579-612 (2006) |
| c2 | | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89 |
| i1 | | Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. CoRR abs/cs/0602024 (2006) |
| 2004 | ||
| c1 | | Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic 2004: 17-51 |
| 1 | Balder ten Cate | |
| 2 | Salih Durhan | |
| 3 | Valentin Goranko | |
| 4 | Maarten Marx | |
| 5 | Alessandra Palmigiano | |
| 6 | Guido Sciavicco | |
| 7 | Dimiter Vakarelov (Dimitar Ivanov Vakarelov) | |
| 8 | Yde Venema |
Colors in the list of coauthors
Last update Wed May 22 15:08:56 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page