Saverio Cittadini

According to our database1, Saverio Cittadini authored at least 8 papers between 1997 and 2006.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...