| Publication | Date of Publication | Type |
|---|
A natural deduction calculus for \textbf{S4.2}
Notre Dame Journal of Formal Logic | 2024-08-19 | Paper |
Cut Elimination for Extended Sequent Calculi
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Natural deduction calculi for classical and intuitionistic S5
Journal of Applied Non-Classical Logics | 2023-08-16 | Paper |
Coherence for sharing proof nets
Rewriting Techniques and Applications | 2022-12-09 | Paper |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Proof nets for classical logic
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Contracting for technology improvement: the effect of asymmetric bargaining power and investment uncertainty
European Journal of Operational Research | 2021-06-07 | Paper |
A two-dimensional metric temporal logic
Mathematical Logic Quarterly | 2020-05-29 | Paper |
A logic for quantum register measurements
Axioms | 2020-03-20 | Paper |
A two-dimensional metric temporal logic
(available as arXiv preprint) | 2019-03-14 | Paper |
A natural deduction system for bundled branching time logic
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Confluence results for a quantum lambda calculus with measurements
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
A history of until
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Proofs, tests and continuation passing style
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Back from the future
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
| Modal deduction systems for quantum state transformations | 2012-04-26 | Paper |
Labelled natural deduction for a bundled branching temporal logic
Journal Of Logic And Computation | 2011-12-19 | Paper |
Quantum implicit computational complexity
Theoretical Computer Science | 2009-12-15 | Paper |
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science | 2009-05-06 | Paper |
A Labeled Natural Deduction System for a Fragment of CTL *
Logical Foundations of Computer Science | 2009-02-24 | Paper |
A note on unbounded metric temporal logic over dense time domains
MLQ | 2007-02-07 | Paper |
| scientific article; zbMATH DE number 2185715 (Why is no real title available?) | 2005-07-04 | Paper |
An approach to infinitary temporal proof theory
Archive for Mathematical Logic | 2005-02-11 | Paper |
A Way of Making World Quantification Explicit
Logic Journal of the IGPL | 2004-10-28 | Paper |
An infinitary variant of Metric Temporal Logic over dense time domains
Mathematical Logic Quarterly | 2004-08-06 | Paper |
A proof-theoretic investigation of a logic of positions
Annals of Pure and Applied Logic | 2003-09-25 | Paper |
Coherence for sharing proof-nets
Theoretical Computer Science | 2003-07-29 | Paper |
Parsing MELL proof nets
Theoretical Computer Science | 2001-08-20 | Paper |
Proof nets, garbage, and computations
Theoretical Computer Science | 2000-12-12 | Paper |
An analysis of (linear) exponentials based on extended sequents
Logic Journal of the IGPL | 2000-04-06 | Paper |
| scientific article; zbMATH DE number 1418450 (Why is no real title available?) | 2000-03-19 | Paper |
Experiments in linear natural deduction
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 970633 (Why is no real title available?) | 1997-08-04 | Paper |
| scientific article; zbMATH DE number 786493 (Why is no real title available?) | 1996-04-22 | Paper |
A modal view of linear logic
Journal of Symbolic Logic | 1995-06-13 | Paper |
2-Sequent Calculus: Intuitionism and Natural Deduction
Journal Of Logic And Computation | 1994-03-27 | Paper |
2-sequent calculus: A proof theory of modalities
Annals of Pure and Applied Logic | 1993-04-01 | Paper |
TTL : a formalism to describe local and global properties of distributed systems
RAIRO - Theoretical Informatics and Applications | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 15894 (Why is no real title available?) | 1992-06-25 | Paper |
