| |
| 1999 | ||
|---|---|---|
| 4 | Miroslava Tzakova: Tableau Calculi for Hybrid Logics. TABLEAUX 1999: 278-292 | |
| 3 | EE | Patrick Blackburn, Miroslava Tzakova: Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7(1): 27-54 (1999) |
| 1998 | ||
| 2 | Patrick Blackburn, Miroslava Tzakova: Hybridizing Concept Languages. Ann. Math. Artif. Intell. 24(1-4): 23-49 (1998) | |
| 1 | EE | Patrick Blackburn, Miroslava Tzakova: Hybrid Completeness. Logic Journal of the IGPL 6(4): 625-650 (1998) |
| 1 | Patrick Blackburn | [1] [2] [3] |