Matteo Acclavio

According to our database, Matteo Acclavio authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Propositional Dynamic Logic and Concurrency.

Matteo Acclavio, Fabrizio Montesi, Marco Peressotti

CoRR, 2024

Logic Programming with Multiplicative Structures.

Matteo Acclavio, Roberto Maieli

CoRR, 2024

Infinitary Cut-Elimination via Finite Approximations.

Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Graphical Proof Theory I: Multiplicative Linear Logic Beyond Cographs.

Matteo Acclavio

CoRR, 2023

Canonicity in Modal Lambda Calculus.

Matteo Acclavio, Davide Catta, Federico Olimpieri

CoRR, 2023

Canonicity of Proofs in Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Federico Olimpieri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Lorenzen-Style Strategies as Proof-Search Strategies.

Matteo Acclavio, Davide Catta

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

An Analytic Propositional Proof System on Graphs.

Matteo Acclavio, Ross Horne, Lutz Straßburger

Log. Methods Comput. Sci., 2022

A Graphical Proof Theory of Logical Time.

Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Combinatorial Proofs for Constructive Modal Logic.

Matteo Acclavio, Lutz Straßburger

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Towards a Denotational Semantics for Proofs in Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Lutz Straßburger

CoRR, 2021

Game Semantics for Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Lutz Straßburger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

A Deep Inference System for Differential Linear Logic.

Matteo Acclavio, Giulio Guerrieri

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

Exponentially Handsome Proof Nets and Their Normalization.

Matteo Acclavio

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

Logic Beyond Formulas: A Proof System on Graphs.

Matteo Acclavio, Ross Horne, Lutz Straßburger

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Generalized Connectives for Multiplicative Linear Logic.

Matteo Acclavio, Roberto Maieli

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics.

Matteo Acclavio

J. Autom. Reason., 2019

On Combinatorial Proofs for Logics of Relevance and Entailment.

Matteo Acclavio, Lutz Straßburger

Proceedings of the Logic, Language, Information, and Computation, 2019

On Combinatorial Proofs for Modal Logic.

Matteo Acclavio, Lutz Straßburger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

From Syntactic Proofs to Combinatorial Proofs.

Matteo Acclavio, Lutz Straßburger

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2016

Proof diagrams for multiplicative linear logic.

Matteo Acclavio

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016