MASINI, Andrea
MASINI, Andrea
DIPARTIMENTO DI INFORMATICA
2-sequent calculus: a proof theory of modalities
1992-01-01 Masini, Andrea
2-sequent calculus: intuitionism and natural deduction
1993-01-01 Masini, Andrea
A History of Until
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
A hybrid logic for XML reference constraints
2018-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A Logic for Quantum Register Measurements
2019-01-01 Masini, Andrea; Zorzi, Margherita
A modal view of linear logic
1994-01-01 S., Martini; Masini, Andrea
A natural deduction calculus for S4.2
2024-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
A natural deduction system for bundled branching time logic
2013-01-01 Baratella, Stefano; Masini, Andrea
A note on unbounded metric temporal logic over dense time domains
2006-01-01 Baratella, S; Masini, Andrea
A Proof-theoretic Investigation of a Logic of Positions
2003-01-01 Baratella, S.; Masini, Andrea
A two-dimensional metric temporal logic
2019-01-01 Masini, Andrea; Baratella, Stefano
A way of making intensional quantification explicit
2004-01-01 Baratella, S.; Masini, Andrea
An analysis of (linear) exponentials based on extended sequents
1998-01-01 Guerrini, S.; Martini, S.; Masini, Andrea
An approach to infinitary temporal proof theory
2004-01-01 Baratella, S.; Masini, Andrea
An infinitary variant of Metric Temporal Logic over dense time domains
2004-01-01 Baratella, S.; Masini, Andrea
Back from the future
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Coherence for sharing proof-nets
2003-01-01 Guerrini, S.; Martini, S.; Masini, Andrea
Confluence results for a quantum lambda calculus with measurements
2011-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Cut Elimination for Extended Sequent Calculi
2023-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Experiments in Linear Natural Deduction
1997-01-01 Martini, S.; Masini, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 2-sequent calculus: a proof theory of modalities | 1-gen-1992 | Masini, Andrea | |
| 2-sequent calculus: intuitionism and natural deduction | 1-gen-1993 | Masini, Andrea | |
| A History of Until | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| A hybrid logic for XML reference constraints | 1-gen-2018 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A Logic for Quantum Register Measurements | 1-gen-2019 | Masini, Andrea; Zorzi, Margherita | |
| A modal view of linear logic | 1-gen-1994 | S., Martini; Masini, Andrea | |
| A natural deduction calculus for S4.2 | 1-gen-2024 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| A natural deduction system for bundled branching time logic | 1-gen-2013 | Baratella, Stefano; Masini, Andrea | |
| A note on unbounded metric temporal logic over dense time domains | 1-gen-2006 | Baratella, S; Masini, Andrea | |
| A Proof-theoretic Investigation of a Logic of Positions | 1-gen-2003 | Baratella, S.; Masini, Andrea | |
| A two-dimensional metric temporal logic | 1-gen-2019 | Masini, Andrea; Baratella, Stefano | |
| A way of making intensional quantification explicit | 1-gen-2004 | Baratella, S.; Masini, Andrea | |
| An analysis of (linear) exponentials based on extended sequents | 1-gen-1998 | Guerrini, S.; Martini, S.; Masini, Andrea | |
| An approach to infinitary temporal proof theory | 1-gen-2004 | Baratella, S.; Masini, Andrea | |
| An infinitary variant of Metric Temporal Logic over dense time domains | 1-gen-2004 | Baratella, S.; Masini, Andrea | |
| Back from the future | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| Coherence for sharing proof-nets | 1-gen-2003 | Guerrini, S.; Martini, S.; Masini, Andrea | |
| Confluence results for a quantum lambda calculus with measurements | 1-gen-2011 | Dal Lago, U.; Masini, Andrea; Zorzi, Margherita | |
| Cut Elimination for Extended Sequent Calculi | 1-gen-2023 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| Experiments in Linear Natural Deduction | 1-gen-1997 | Martini, S.; Masini, Andrea |