Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders

    TABLEAUX, pp. 73-87, 2011.

    Cited by: 14|Bibtex|Views3|Links
    EI
    Keywords:
    satisfiability problemmodal logicoptimal tableau systemdecidable satisfiability problemdiscrete linear orderMore(7+)

    Abstract:

    In this paper, we focus our attention on tableau systems for the propositional interval logic of temporal neighborhood (Propositional Neighborhood Logic, PNL for short). PNL is the proper subset of Halpern and Shoham's modal logic of intervals whose modalities correspond to Allen's relations meets and met by. We first prove by a model-the...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments