A tableau-based decision procedure for right propositional neighborhood logic
TABLEAUX, pp. 63-77, 2005.
future fragmentright propositional neighborhood logicnew interval logicexpressive temporal logictableau-based decision procedureMore(9+)
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
Full Text (Upload PDF)
PPT (Upload PPT)