The following publications are possibly variants of this publication:
- Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensionsDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. APAL, 161(3):289-304, 2009. [doi]
- Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval LengthsDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. SEFM 2009: 240-249 [doi]
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ecai 2010: 695-700 [doi]
- Metric propositional neighborhood logics on natural numbersDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. SoSyM, 12(2):245-264, 2013. [doi]
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear OrdersDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. jelia 2008: 62-75 [doi]
- An optimal tableau for Right Propositional Neighborhood Logic over TreesDavide Bresolin, Angelo Montanari, Pietro Sala. time 2008: 110-117 [doi]
- Decidability of the Interval Temporal Logic ABB over the Natural NumbersAngelo Montanari, Pietro Sala, Guido Sciavicco. STACS 2010: 597-608 [doi]
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear OrdersDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. tableaux 2011: 73-87 [doi]