The following publications are possibly variants of this publication:
- An Optimal Decision Procedure for Right Propositional Neighborhood LogicDavide Bresolin, Angelo Montanari, Guido Sciavicco. JAR, 38(1-3):173-199, 2007. [doi]
- A Tableau-Based Decision Procedure for Right Propositional Neighborhood LogicDavide Bresolin, Angelo Montanari. tableaux 2005: 63-77 [doi]
- An optimal tableau for Right Propositional Neighborhood Logic over TreesDavide Bresolin, Angelo Montanari, Pietro Sala. time 2008: 110-117 [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]
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear OrdersDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. jelia 2008: 62-75 [doi]
- Propositional Interval Neighborhood Temporal LogicsValentin Goranko, Angelo Montanari, Guido Sciavicco. jucs, 9(9):1137-1167, 2003. [doi]
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ecai 2010: 695-700 [doi]
- On Decidability and Expressiveness of Propositional Interval Neighborhood LogicsDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. lfcs 2007: 84-99 [doi]