| |
| 2008 | ||
|---|---|---|
| 8 | EE | Marta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21 |
| 2007 | ||
| 7 | EE | Alessandra Palmigiano, Yde Venema: Nabla Algebras and Chu Spaces. CALCO 2007: 394-408 |
| 2004 | ||
| 6 | EE | Alexander Kurz, Alessandra Palmigiano: Coalgebras and Modal Expansions of Logics. Electr. Notes Theor. Comput. Sci. 106: 243-259 (2004) |
| 5 | EE | Alessandra Palmigiano: A coalgebraic view on positive modal logic. Theor. Comput. Sci. 327(1-2): 175-195 (2004) |
| 2003 | ||
| 4 | EE | Alessandra Palmigiano: Coalgebraic Semantics for Positive Modal Logic. Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 | ||
| 3 | EE | Alessandra Palmigiano: Abstract Logics as Dialgebras. Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 2000 | ||
| 2 | EE | Alessandra Palmigiano: Normal Gentzen Deductions in the Classical Case. Logic Journal of the IGPL 8(2): (2000) |
| 1999 | ||
| 1 | Alessandra Palmigiano: Normality for Gentzen systems in the classical case. ESSLLI Student Papers 1999: 111-123 | |
| 1 | Marta Bílková | [8] |
| 2 | Alexander Kurz | [6] |
| 3 | Yde Venema | [7] [8] |