×

zbMATH — the first resource for mathematics

Sala, Pietro

Compute Distance To:
Author ID: sala.pietro Recent zbMATH articles by "Sala, Pietro"
Published as: Sala, Pietro; Sala, P.
Documents Indexed: 39 Publications since 2006

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 125 times in 43 Documents Cited by Year
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals. Zbl 1288.03017
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
16
2010
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
16
2010
A general tableau method for propositional interval temporal logics: theory and implementation. Zbl 1104.03010
Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.
8
2006
An optimal tableau-based decision algorithm for propositional neighborhood logic. Zbl 1141.03308
Bresolin, Davide; Montanari, Angelo; Sala, Pietro
8
2007
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity. Zbl 1335.03017
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
7
2014
Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers. Zbl 1230.03047
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido
7
2010
Interval vs. point temporal logic model checking: an expressiveness comparison. Zbl 1391.68075
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
6
2016
Optimal tableaux for right propositional neighborhood logic over linear orders. Zbl 1178.03030
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
6
2008
Interval temporal logic model checking: the border between good and bad HS fragments. Zbl 06623275
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
5
2016
A decidable spatial logic with cone-shaped cardinal directions. Zbl 1257.03054
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
5
2009
A decidable weakening of compass logic based on cone-shaped cardinal directions. Zbl 1351.03014
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
4
2015
On the complexity of fragments of the modal logic of Allen’s relations over dense structures. Zbl 1451.03020
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
4
2015
Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals. Zbl 1426.03018
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
3
2014
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders. Zbl 1333.03006
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
3
2011
The importance of the past in interval temporal logics: the case of propositional neighborhood logic. Zbl 1356.03061
Della Monica, Dario; Montanari, Angelo; Sala, Pietro
3
2012
Interval logics and \(\omega B\)-regular languages. Zbl 1377.03026
Montanari, Angelo; Sala, Pietro
3
2013
Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness. Zbl 1366.03185
Montanari, Angelo; Sala, Pietro
3
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Zbl 1296.03013
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
2
2013
Interval-based temporal functional dependencies: specification and verification. Zbl 1311.68051
Combi, Carlo; Sala, Pietro
2
2014
Tableau systems for logics of subinterval structures over dense orderings. Zbl 1133.03007
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
2
2007
On begins, meets and before. Zbl 1259.03028
Bresolin, Davide; Sala, Pietro; Sciavicco, Guido
2
2012
Prompt interval temporal logic. Zbl 06658162
Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
2
2016
Interval temporal logics over finite linear orders: the complete picture. Zbl 1327.03012
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
2
2012
Metric propositional neighborhood logic with an equivalence relation. Zbl 1350.68185
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
1
2016
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Zbl 1400.68121
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2018
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2019
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. Zbl 1442.68103
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2017
On coarser interval temporal logics. Zbl 07099166
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard
1
2019
Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Zbl 1436.03120
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
1
2019
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2019
On coarser interval temporal logics. Zbl 07099166
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard
1
2019
Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Zbl 1436.03120
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
1
2019
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Zbl 1400.68121
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2018
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. Zbl 1442.68103
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2017
Interval vs. point temporal logic model checking: an expressiveness comparison. Zbl 1391.68075
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
6
2016
Interval temporal logic model checking: the border between good and bad HS fragments. Zbl 06623275
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
5
2016
Prompt interval temporal logic. Zbl 06658162
Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
2
2016
Metric propositional neighborhood logic with an equivalence relation. Zbl 1350.68185
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
1
2016
A decidable weakening of compass logic based on cone-shaped cardinal directions. Zbl 1351.03014
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
4
2015
On the complexity of fragments of the modal logic of Allen’s relations over dense structures. Zbl 1451.03020
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
4
2015
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity. Zbl 1335.03017
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
7
2014
Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals. Zbl 1426.03018
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
3
2014
Interval-based temporal functional dependencies: specification and verification. Zbl 1311.68051
Combi, Carlo; Sala, Pietro
2
2014
Interval logics and \(\omega B\)-regular languages. Zbl 1377.03026
Montanari, Angelo; Sala, Pietro
3
2013
Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness. Zbl 1366.03185
Montanari, Angelo; Sala, Pietro
3
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Zbl 1296.03013
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
2
2013
The importance of the past in interval temporal logics: the case of propositional neighborhood logic. Zbl 1356.03061
Della Monica, Dario; Montanari, Angelo; Sala, Pietro
3
2012
On begins, meets and before. Zbl 1259.03028
Bresolin, Davide; Sala, Pietro; Sciavicco, Guido
2
2012
Interval temporal logics over finite linear orders: the complete picture. Zbl 1327.03012
Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
2
2012
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders. Zbl 1333.03006
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
3
2011
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals. Zbl 1288.03017
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
16
2010
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
16
2010
Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers. Zbl 1230.03047
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido
7
2010
A decidable spatial logic with cone-shaped cardinal directions. Zbl 1257.03054
Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
5
2009
Optimal tableaux for right propositional neighborhood logic over linear orders. Zbl 1178.03030
Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
6
2008
An optimal tableau-based decision algorithm for propositional neighborhood logic. Zbl 1141.03308
Bresolin, Davide; Montanari, Angelo; Sala, Pietro
8
2007
Tableau systems for logics of subinterval structures over dense orderings. Zbl 1133.03007
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
2
2007
A general tableau method for propositional interval temporal logics: theory and implementation. Zbl 1104.03010
Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.
8
2006

Citations by Year