Lorenzo Sacchetti

Incompleteness and Fixed Points

Lorenzo Sacchetti, 2002, Math. Log. Q..

Kripke‐style semantics for many‐valued logics

Franco Montagna, Lorenzo Sacchetti, F. Montagna, 2003, Math. Log. Q..

Corrigendum to “Kripke‐style semantics for many‐valued logics”

Franco Montagna, Lorenzo Sacchetti, F. Montagna, 2004, Math. Log. Q..

Filtering unification and most general unifiers in modal logic

Silvio Ghilardi, Lorenzo Sacchetti, S. Ghilardi, 2004, Journal of Symbolic Logic.

The Fixed Point Property in Modal Logic

Lorenzo Sacchetti, Lorenzo Sacchetti, 2001, Notre Dame J. Formal Log..