NEGRI, SARA
NEGRI, SARA
100021 - Dipartimento di Matematica
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
A sequent calculus for preferential conditional logic based on neighbourhood semantics
2015-01-01 Negri, S.; Olivetti, N.
A Unified Gentzen-style Framework for Until-free LTL
2024-01-01 Kamide, N.; Negri, S.
Countermodels from sequent calculi in multi-modal logics
2012-01-01 Garg, D.; Genovese, V.; Negri, S.
Geometric Rules in Infinitary Logic
2019-01-01 Negri, Sara
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
2013-01-01 Negri, S
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
2019-01-01 Dalmonte, T.; Negri, S.; Olivetti, N.; Pozzato, G. L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A sequent calculus for preferential conditional logic based on neighbourhood semantics | 1-gen-2015 | Negri, S.; Olivetti, N. | |
| A Unified Gentzen-style Framework for Until-free LTL | 1-gen-2024 | Kamide, N.; Negri, S. | |
| Countermodels from sequent calculi in multi-modal logics | 1-gen-2012 | Garg, D.; Genovese, V.; Negri, S. | |
| Geometric Rules in Infinitary Logic | 1-gen-2019 | Negri, Sara | |
| On the Duality of Proofs and Countermodels in Labelled Sequent Calculi | 1-gen-2013 | Negri, S | |
| PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics | 1-gen-2019 | Dalmonte, T.; Negri, S.; Olivetti, N.; Pozzato, G. L. |