Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
TABLEAUX, pp. 73-87, 2011.
satisfiability problemmodal logicoptimal tableau systemdecidable satisfiability problemdiscrete linear orderMore(7+)
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
Full Text (Upload PDF)
PPT (Upload PPT)