The following publications are possibly variants of this publication:
- Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural NumbersDario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. jucs, 18(20):2798-2831, 2012. [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 logic with an equivalence relationAngelo Montanari, Marco Pazzaglia, Pietro Sala. ACTA, 53(6-8):621-648, 2016. [doi]
- Metric Propositional Neighborhood Logic with an Equivalence RelationAngelo Montanari, Marco Pazzaglia, Pietro Sala. time 2014: 49-58 [doi]
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ecai 2010: 695-700 [doi]
- Hybrid Metric Propositional Neighborhood Logics with Interval Length BindersDario Della Monica, Valentin Goranko, Guido Sciavicco. ENTCS, 273:3-19, 2011. [doi]
- Propositional Interval Neighborhood Temporal LogicsValentin Goranko, Angelo Montanari, Guido Sciavicco. jucs, 9(9):1137-1167, 2003. [doi]
- An Optimal Decision Procedure for Right Propositional Neighborhood LogicDavide Bresolin, Angelo Montanari, Guido Sciavicco. JAR, 38(1-3):173-199, 2007. [doi]