( en | de | ru )

 

Disambiguation of "Negri, Sara"

Author of the publication

copydeleteadd this publication to your clipboard
Recent Advances in Proof Systems for Modal Logic.

. Advances in Modal Logic, page 421-422. College Publications, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fabio Negri

Matthias Negri

Barbara Negri

Lino Negri

Michele Negri

 

Other publications of authors with the same name

Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.. Arch. Math. Log., 42 (4): 389-401 (2003)A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals., and . TYPES, volume 1158 of Lecture Notes in Computer Science, page 62-75. Springer, (1995)Proof Theory for Distributed Knowledge., and . CLIMA, volume 5056 of Lecture Notes in Computer Science, page 100-116. Springer, (2007)Proof Analysis for Lewis Counterfactuals., and . Rev. Symb. Log., 9 (1): 44-75 (2016)On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.. TABLEAUX, volume 8123 of Lecture Notes in Computer Science, page 5-9. Springer, (2013)Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics., , and . CoRR, (2020)Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism".. FLAP, (2017)Proof Analysis in Modal Logic.. J. Philosophical Logic, 34 (5-6): 507-544 (2005)Theorem Proving for Non-normal Modal Logics., , , and . OVERLAY, volume 2785 of CEUR Workshop Proceedings, page 17-22. CEUR-WS.org, (2020)Proof analysis beyond geometric theories: from rule systems to systems of rules.. J. Log. Comput., 26 (2): 513-537 (2016)