Miroslava Tzakova

Hybrid Completeness

Patrick Blackburn, Miroslava Tzakova, 1998, Log. J. IGPL.

Tableau Calculi for Hybrid Logics

Miroslava Tzakova, Miroslava Tzakova, 1999, TABLEAUX.

Hybrid languages

Miroslava Tzakova, 1999 .

Hybrid Languages and Temporal Logic

Patrick Blackburn, Miroslava Tzakova, P. Blackburn, 1999, Log. J. IGPL.

Hybrid Languages and Temporal Logic (Full Version)

Patrick Blackburn, Miroslava Tzakova, P. Blackburn, 1998 .

Hybridizing concept languages

Patrick Blackburn, Miroslava Tzakova, P. Blackburn, 1998, Annals of Mathematics and Artificial Intelligence.

Two hybrid logics

Patrick Blackburn, Miroslava Tzakova, 1997 .