Concepedia

Pietro Sala

PS

Statistics

Publications

18

Citations

365

H-Index

12

Active since

2005

Affiliations

University of Verona(Current)

University of Udine

Universidad de Murcia

Reykjavík University

Laboratoire Bordelais de Recherche en Informatique

Pietro Sala is an author at University of Verona specializing in logic, computer science, and temporal logic.

ORCID

Publications per year

2005–2018

18

Publications

18

Tableaux for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Andrea Montanari et al. · Journal of Logic and Computation · 2008 · 56 citations

, , +5

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Davide Bresolin, Angelo Montanari, Pietro Sala et al. · 2011 · 34 citations

, , +10

A general tableau method for propositional interval temporal logics: Theory and implementation

Valentin Goranko, Angelo Montanari, Pietro Sala et al. · Journal of Applied Logic · 2005 · 31 citations

, , +14

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Davide Bresolin, Dario Della Monica, Angelo Montanari et al. · Theoretical Computer Science · 2014 · 30 citations

, , +14

Decidability of the Interval Temporal Logic ABB over the Natural Numbers

Angelo Montanari, Gabriele Puppis, Pietro Sala et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 30 citations · Full text

, , +16

1–5 of 18