×

zbMATH — the first resource for mathematics

Della Monica, Dario

Compute Distance To:
Author ID: della-monica.dario Recent zbMATH articles by "Della Monica, Dario"
Published as: Della Monica, Dario; Della Monica, D.
Documents Indexed: 26 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 76 times in 40 Documents Cited by Year
The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
12
2014
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: Towards a complete classification. Zbl 1182.03037
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
9
2008
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. Zbl 1211.68397
Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
9
2010
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
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
7
2011
On a logic for coalitional games with priced-resource agents. Zbl 1347.68337
Della Monica, Dario; Napoli, Margherita; Parente, Mimmo
7
2011
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
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2016
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 the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. Zbl 1432.03027
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Zbl 1325.03015
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
3
2014
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
Prompt interval temporal logic. Zbl 06658162
Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
2
2016
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. Zbl 1401.68275
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
2
2013
When are prime formulae characteristic? Zbl 1425.68245
Aceto, L.; Della Monica, D.; Fábregas, I.; Ingólfsdóttir, A.
1
2015
An algorithm for enumerating maximal models of Horn theories with an application to modal logics. Zbl 1433.03019
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
1
2013
Undecidability of the logic of overlap relation over discrete linear orderings. Zbl 1345.03019
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
1
2010
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2016
Prompt interval temporal logic. Zbl 06658162
Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
2
2016
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
When are prime formulae characteristic? Zbl 1425.68245
Aceto, L.; Della Monica, D.; Fábregas, I.; Ingólfsdóttir, A.
1
2015
The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
12
2014
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
On the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. Zbl 1432.03027
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
3
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Zbl 1325.03015
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
3
2014
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. Zbl 1401.68275
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido
2
2013
An algorithm for enumerating maximal models of Horn theories with an application to modal logics. Zbl 1433.03019
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
1
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
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
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
7
2011
On a logic for coalitional games with priced-resource agents. Zbl 1347.68337
Della Monica, Dario; Napoli, Margherita; Parente, Mimmo
7
2011
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability. Zbl 1211.68397
Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
9
2010
Undecidability of the logic of overlap relation over discrete linear orderings. Zbl 1345.03019
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
1
2010
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: Towards a complete classification. Zbl 1182.03037
Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
9
2008

Citations by Year