6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2020
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…
cs.LO2017★ 6 cited
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…