| 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) |
