Davide Bresolin Valentin Goranko Angelo Montanari Guido Sciavicco On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. 84-99 2007 conf/lfcs/2007 LFCS http://dx.doi.org/10.1007/978-3-540-72734-7_7 db/conf/lfcs/lfcs2007.html#BresolinGMS07