Lorenzo Sacchetti

According to our database1, Lorenzo Sacchetti authored at least 5 papers between 2001 and 2004.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Corrigendum to "Kripke-style semantics for many-valued logics".
Math. Log. Q., 2004

Filtering unification and most general unifiers in modal logic.
J. Symb. Log., 2004

2003
Kripke-style semantics for many-valued logics.
Math. Log. Q., 2003

2002
Incompleteness and Fixed Points.
Math. Log. Q., 2002

2001
The Fixed Point Property in Modal Logic.
Notre Dame J. Formal Log., 2001


  Loading...