Sara Negri
Università degli Studi di Genova
H-index: 28
Europe-Italy
Top articles of Sara Negri
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Glivenko sequent classes and constructive cut elimination in geometric logics | Archive for Mathematical Logic | Giulio Fellin Sara Negri Eugenio Orlandelli | 2023/7 |
Alternative axiomatization for logics of agency in a G3 calculus | Foundations of Science | Sara Negri Edi Pavlović | 2023/3 |
A terminating intuitionistic calculus | Journal of Symbolic Logic | Sara Negri Giulio Fellin | 2023 |
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions | Annals of Pure and Applied Logic | Matteo Tesi Sara Negri | 2023/8/1 |
Investigations into the Predicate Calculus | Sara Negri Jan von Plato Oiva Ketonen | 2022 | |
Constructive cut elimination in geometric logic | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Giulio Fellin Sara Negri Eugenio Orlandelli | 2022 |
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472) | Thierry Coquand Hajime Ishihara Sara Negri Peter M Schuster | 2022 | |
On the modal embedding of intuitionistic logic: Gödel’s proof of his 1933 conjecture | VO| Ume Of | Sara Negri | 2022/9/5 |
One bright idea: Oiva Ketonen and his logical work | Jan von Plato Sara Negri | 2022 | |
Theorem proving for non-normal modal logics | Tiziano Dalmonte Sara Negri Nicola Olivetti Gian Luca Pozzato | 2021/9/25 | |
Automated Reasoning with Analytic Tableaux and Related Methods | Martin Giese Arild Waaler | 2009/10/20 | |
Glivenko classes and constructive cut elimination in infinitary logic | Logic and Applications LAP 2021 | Giulio Fellin Sara Negri Eugenio Orlandelli | 2021/9/20 |
Geometric rules in infinitary logic | Sara Negri | 2021/7/31 | |
Proof-theoretic analysis of the logics of agency: The deliberative STIT | Studia Logica | Sara Negri Edi Pavlović | 2021/6 |
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic | Journal of Logic and Computation | Matteo Tesi Sara Negri | 2021/10 |
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics | Journal of Logic and Computation | Marianna Girlando Sara Negri Nicola Olivetti | 2021/4 |
The disjunction property in a labelled multi-succedent intuitionistic calculus | Logic and Applications LAP 2022 | Edi Pavlovic Sara Negri | 2021/9/26 |
The intensional side of algebraic-topological representation theorems | Synthese | Sara Negri | 2021/3 |
Relevant logics: from semantics to proof systems | Hidenori Kurokawa Sara Negri | 2020 | |
A proof-theoretic approach to formal epistemology | Logic and Applications LAP 2020 | Sara Negri Edi Pavlovic | 2020/9/21 |