6 citations · 13 across the 9 of their papers we have counts for
10 papers
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…
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…
A two-dimensional metric temporal logic
Stefano Baratella, Andrea Masini
We introduce a two-dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent cal…
Quantum Turing Machines Computations and Measurements
Stefano Guerrini, Simone Martini, Andrea Masini
Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not being fully investigated. In particular, there are feat…
Towards A Theory Of Quantum Computability
Stefano Guerrini, Simone Martini, Andrea Masini
We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obta…
A History of Until
Andrea Masini, Luca Viganò, Marco Volpe
Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w o…