4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2008★ 4 cited
Labeled Natural Deduction Systems for a Family of Tense Logics
Luca Viganò, Marco Volpe
We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to t…
cs.LO2008★ 2 cited
A Qualitative Modal Representation of Quantum Register Transformations
Andrea Masini, Luca Viganò, Margherita Zorzi
We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum regi…