Saverio Cittadini

	2006
8		Saverio Cittadini, Carlo Toffalori: On pairs of free modules over a Dedekind domain. Arch. Math. Log. 45(1): 75-95 (2006)
	2005
7		Wilfried Sieg, Saverio Cittadini: Normal Natural Deduction Proofs (in Non-classical Logics). Mechanizing Mathematical Reasoning 2005: 169-191
	2002
6		Saverio Cittadini, Carlo Toffalori: Comparing First Order Theories of Modules over Group Rings. Math. Log. Q. 48(1): 147-156 (2002)
5		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)

Coauthor Index

1	Fabio Bellissima	[1] [2] [3] [4]
2	Wilfried Sieg	[7]
3	Carlo Toffalori	[5] [6] [8]

Colors in the list of coauthors