Andrea Masini

Available identifiers

zbMath Open masini.andreaMaRDI QIDQ1044835

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrea Masini