# Saverio Cittadini

According to our database

Collaborative distances:

^{1}, Saverio Cittadini authored at least 8 papers between 1997 and 2006.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2006

On pairs of free modules over a Dedekind domain.

Arch. Math. Log., 2006

2005

Normal Natural Deduction Proofs (in Non-classical Logics).

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2002

Comparing First Order Theories of Modules over Group Rings II: Decidability.

Math. Log. Q., 2002

Comparing First Order Theories of Modules over Group Rings.

Math. Log. Q., 2002

1999

Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4.

Studia Logica, 1999

Finite Trees in Tense Logic.

Studia Logica, 1999

1998

Duality and Completeness for US-Logics.

Notre Dame Journal of Formal Logic, 1998

1997

Minimal Axiomatization in Modal Logic.

Math. Log. Q., 1997