G. Sambin, S. Valentini, Post completeness and free algebras,

Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Bd. 26 (1980), pp. 343-347.

Abstract:

G. Sambin, S. Valentini, A modal sequent calculus for a fragment of Arithmetic,

Studia Logica XXXIX, 2/3 (1980), pp. 245-256.

Abstract:

G. Sambin, S. Valentini, The modal logic of provability: the sequential approach,

Journal of Philosophical Logic, 11 (1982), pp. 311-342.

Abstract:

S. Valentini, Cut elimination in a modal sequent calculus for K,

Bollettino dell'Unione Matematica Italiana, 1-B (1982), pp. 119-130.

Abstract:

S. Valentini, U. Solitro, The modal logic of consistency assertions of Peano Arithmetic,

Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Bd. 29 (1983), pp. 25-32.

Abstract:

S. Valentini, The modal logic of provability: cut-elimination,

Journal of Philosophical Logic, 12 (1983), pp. 471-476.

Abstract:

S. Valentini, A 'canonical' model for GL,

Bollettino dell'Unione Matematica Italiana, 2-A (1983), pp. 361-368.

Abstract:

S.Valentini, A syntactic proof of cut-elimination for GL_lin,

Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Bd. 32 (1986), pp. 137-144.

Abstract:

S. Valentini, The sequent calculus for the modal logic D,

Bollettino dell'Unione Matematica Italiana, 7-A (1993), pp. 455-460.

Abstract: We present a sequent calculus for the deontic logic D and prove its main syntactic and semantic properties, i.e. cut-elimination, interpolation, completeness with respect to serial frames, finite model property and decidability.