L Paolini, M Piccolo, M Zorzi - Journal of Automated Reasoning, 2019 - Springer
Abstract qPCF is a paradigmatic quantum programming language that extends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data …
L Paolini, M Zorzi - International Conference on Theory and Applications of …, 2017 - Springer
We propose qPCF, a functional language able to define and manipulate quantum circuits in an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” …
L Vigano, M Volpe, M Zorzi - International Workshop on Logic, Language …, 2014 - Springer
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal properties of a distributed system from the local point of view of the system's agents, which …
Abstract The Distributed Temporal Logic DTL allows one to reason about temporal properties of a distributed system from the local point of view of the system's agents, which …
Diagnosis is widely used in many different disciplines to identify the nature and cause of a certain phenomenon. We present t L t L, a new logical framework able to formalise …
We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative …
M Cristani, F Domenichini, F Olivieri… - Procedia Computer …, 2018 - Elsevier
Meteorological forecasting is the process of providing reliable prediction about the future weathear within a given interval of time. Forecasters adopt a model of reasoning that can be …
We propose an indexed natural deduction system for the modal logic S5, ideally following Wansing's previous work in the context of tableaux sequents. The system, given both in the …
S Martini, A Masini, M Zorzi - ACM Transactions on Computational Logic …, 2021 - dl.acm.org
We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal …