Willem Conradie

	2012
12		Willem Conradie, Alessandra Palmigiano: Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Logic 163(3): 338-376 (2012)
	2011
11		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
10		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
9		Willem Conradie: Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. Electr. Notes Theor. Comput. Sci. 231: 175-190 (2009)
8		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
7		Willem Conradie, Valentin Goranko: Algorithmic correspondence and completeness in modal logic. Journal of Applied Non-Classical Logics 18(2-3): 175-211 (2008)
	2006
6		Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
5		Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA CoRR abs/cs/0602024: (2006)
4		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)
3		Willem Conradie: On the strength and scope of DLS. Journal of Applied Non-Classical Logics 16(3-4): 279-296 (2006)
2		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)
	2004
1		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

Coauthor Index

1	Balder ten Cate	[6]
2	Valentin Goranko	[1] [2] [4] [5] [7] [8] [10]
3	Maarten Marx	[6]
4	Alessandra Palmigiano	[12]
5	Guido Sciavicco	[11]
6	Dimiter Vakarelov (Dimitar Ivanov Vakarelov)	[1] [2] [4] [5] [8] [10]
7	Yde Venema	[6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page