Pietro Sala
Author
Alternate names P. Sala, Pietro Sala
Institution University of Verona
Past institutions University of Verona, Sapienza University of Rome, European Institute of Oncology, Universidad Complutense de Madrid, University of Udine
ORCID: Yes
H-index: 16
I10-index: 29
Works count: 96
Citations count: 825
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
2010 · Angelo Montanari, Gabriele Puppis, et al. · Lecture notes in computer science
Tableaux for Logics of Subinterval Structures over Dense Orderings
2008 · Davide Bresolin, Valentin Goranko, et al. · Journal of Logic and Computation
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
2007 · Davide Bresolin, Angelo Montanari, et al. · Springer eBooks