Andrea Masini

Available identifiers

zbMath Open masini.andreaMaRDI QIDQ1044835

List of research outcomes

Publication	Date of Publication	Type
A natural deduction calculus for \textbf{S4.2}	2024-08-19	Paper
Cut Elimination for Extended Sequent Calculi	2024-02-29	Paper
Natural deduction calculi for classical and intuitionistic S5	2023-08-16	Paper
Coherence for sharing proof nets	2022-12-09	Paper
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics	2022-02-24	Paper
Proof nets for classical logic	2021-09-07	Paper
Contracting for technology improvement: the effect of asymmetric bargaining power and investment uncertainty	2021-06-07	Paper
A two‐dimensional metric temporal logic	2020-05-29	Paper
A logic for quantum register measurements	2020-03-20	Paper
A two-dimensional metric temporal logic	2019-03-14	Paper
A natural deduction system for bundled branching time logic	2018-08-28	Paper
Confluence Results for a Quantum Lambda Calculus with Measurements	2016-10-07	Paper
A History of Until	2016-08-05	Paper
Proofs, tests and continuation passing style	2015-09-17	Paper
Back from the future	2012-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q5389322	2012-04-26	Paper
Labelled natural deduction for a bundled branching temporal logic	2011-12-19	Paper
Quantum implicit computational complexity	2009-12-15	Paper
On a measurement-free quantum lambda calculus with classical control	2009-05-06	Paper
A Labeled Natural Deduction System for a Fragment of CTL *	2009-02-24	Paper
A note on unbounded metric temporal logic over dense time domains	2007-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3024907	2005-07-04	Paper
An approach to infinitary temporal proof theory	2005-02-11	Paper
A Way of Making World Quantification Explicit	2004-10-28	Paper
An infinitary variant of Metric Temporal Logic over dense time domains	2004-08-06	Paper
A proof-theoretic investigation of a logic of positions	2003-09-25	Paper
Coherence for sharing proof-nets	2003-07-29	Paper
Parsing MELL proof nets	2001-08-20	Paper
Proof nets, garbage, and computations	2000-12-12	Paper
An analysis of (linear) exponentials based on extended sequents	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4942005	2000-03-19	Paper
Experiments in linear natural deduction	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q5688812	1997-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4842974	1996-04-22	Paper
A modal view of linear logic	1995-06-13	Paper
2-Sequent Calculus: Intuitionism and Natural Deduction	1994-03-27	Paper
2-sequent calculus: A proof theory of modalities	1993-04-01	Paper
TTL : a formalism to describe local and global properties of distributed systems	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3972532	1992-06-25	Paper

Research outcomes over time

This page was built for person: Andrea Masini