Research areas involved in the project | |
---|---|
Informatica teorica
Logic |
Title | Authors | Year |
---|---|---|
Quantum State Transformations and Branching Distributed Temporal Logic | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | 2014 |
A labeled deduction system for the logic UB | C. Caleiro; L. Vigano; M. Volpe | 2013 |
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators | Carlos Caleiro; Luca Vigano'; Marco Volpe | 2013 |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits