Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions (2009)

by D Bresolin, V Goranko, A Montanari, G Sciavicco
Venue:Annals of Pure and Applied Logic, 161(3):289 – 304