A tableau-based decision procedure for right propositional neighborhood logic

    TABLEAUX, pp. 63-77, 2005.

    Cited by: 21|Bibtex|Views4|Links
    EI
    Keywords:
    future fragmentright propositional neighborhood logicnew interval logicexpressive temporal logictableau-based decision procedureMore(9+)

    Abstract:

    Propositional interval temporal logics are quite expressive temporal logics that allow one to naturally express statements that refer to time intervals. Unfortunately, most such logics turned out to be (highly) undecidable. To get decidability, severe syntactic and/or semantic restrictions have been imposed to interval-based temporal logi...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments