Thematic list of publications by Sara Negri

In the list that follows, to avoid duplications, publications are grouped according to their main topic; in each group, items are in reverse chronological order; electronic versions of articles available here may differ from the published versions.

Philosophy of mathematics, history and philosophy of logic

Modal logic

Mathematical logic

Conditional logic

Structural proof theory

Proof Analysis

Non-classical logics

Provability logics

Formal epistemology

Temporal logic


  • Algebraic logic, lattice theory, domain theory

    Linear logic

    Constructive topology and analysis; formal topology

    Back to Sara's homepage.

    Last modified October 2017