Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
Ann. Pure Appl. Logic, pp. 289-304, 2009.
In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics (PNL), we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, w...More
Full Text (Upload PDF)
PPT (Upload PPT)