Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

    Ann. Pure Appl. Logic, pp. 289-304, 2009.

    Cited by: 94|Bibtex|Views5|Links
    EI
    Keywords:
    two-variable fragment68t2703b25decidabilityundecidability.More(5+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments