| |
| 2006 | ||
|---|---|---|
| 8 | EE | Saverio Cittadini, Carlo Toffalori: On pairs of free modules over a Dedekind domain. Arch. Math. Log. 45(1): 75-95 (2006) |
| 2005 | ||
| 7 | EE | Wilfried Sieg, Saverio Cittadini: Normal Natural Deduction Proofs (in Non-classical Logics). Mechanizing Mathematical Reasoning 2005: 169-191 |
| 2002 | ||
| 6 | EE | Saverio Cittadini, Carlo Toffalori: Comparing First Order Theories of Modules over Group Rings. Math. Log. Q. 48(1): 147-156 (2002) |
| 5 | EE | Saverio Cittadini, Carlo Toffalori: Comparing First Order Theories of Modules over Group Rings II: Decidability. Math. Log. Q. 48(4): 483-498 (2002) |
| 1999 | ||
| 4 | Fabio Bellissima, Saverio Cittadini: Finite Trees in Tense Logic. Studia Logica 62(2): 121-140 (1999) | |
| 3 | Fabio Bellissima, Saverio Cittadini: Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Studia Logica 62(3): 371-398 (1999) | |
| 1998 | ||
| 2 | Fabio Bellissima, Saverio Cittadini: Duality and Completeness for US-Logics. Notre Dame Journal of Formal Logic 39(2): 231-242 (1998) | |
| 1997 | ||
| 1 | Fabio Bellissima, Saverio Cittadini: Minimal Axiomatization in Modal Logic. Math. Log. Q. 43: 92-102 (1997) | |
| 1 | Fabio Bellissima | [1] [2] [3] [4] |
| 2 | Wilfried Sieg | [7] |
| 3 | Carlo Toffalori | [5] [6] [8] |