 | 2009 |
|---|
| 7 |       | Willem Conradie:
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA.
Electr. Notes Theor. Comput. Sci. 231: 175-190 (2009) |
| 6 | | 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) |
| 2006 |
|---|
| 5 |  | Balder ten Cate,
Willem Conradie,
Maarten Marx,
Yde Venema:
Definitorially Complete Description Logics.
KR 2006: 79-89 |
| 4 | | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
CoRR abs/cs/0602024: (2006) |
| 3 | | 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) |
| 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 |
