15 citations · 41 across the 17 of their papers we have counts for
17 papers
Quantifier completions, choice principles and applications
Davide Trotta, Matteo Spadetto
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse th…
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
Simone Martini, Andrea Masini, Margherita Zorzi
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 syst…
Compositional theories for host-core languages
Davide Trotta, Margherita Zorzi
Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's L…
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
Simone Martini, Andrea Masini, Margherita Zorzi
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are present…
It could be worse, it could be raining: reliable automatic meteorological forecasting
Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli +2
Meteorological forecasting provides reliable prediction about the future weather within a given interval of time. Meteorological forecasting can be viewed as a form of hybrid diagn…
QPCF: higher order languages and quantum circuits
Luca Paolini, Mauro Piccolo, Margherita Zorzi
qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be…