Results 1 -
3 of
3
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals
, 2010
"... Abstract. In this paper, we focus our attention on the fragment of Halpern and Shoham’s modal logic of intervals (HS) that features four modal operators corresponding to the relations “meets”, “met by”, “be-gun by”, and “begins ” of Allen’s interval algebra (AĀBB ̄ logic). AĀBB̄ properly extends i ..."
Abstract
-
Cited by 14 (10 self)
- Add to MetaCart
(Show Context)
Abstract. In this paper, we focus our attention on the fragment of Halpern and Shoham’s modal logic of intervals (HS) that features four modal operators corresponding to the relations “meets”, “met by”, “be-gun by”, and “begins ” of Allen’s interval algebra (AĀBB ̄ logic). AĀBB̄ properly extends interesting interval temporal logics recently investigated in the literature, such as the logic BB ̄ of Allen’s “begun by/begins ” rela-tions and propositional neighborhood logic AĀ, in its many variants (in-cluding metric ones). We prove that the satisfiability problem for AĀBB̄, interpreted over finite linear orders, is decidable, but not primitive recur-sive (as a matter of fact, AĀBB ̄ turns out to be maximal with respect to decidability). Then, we show that it becomes undecidable when AĀBB ̄ is interpreted over classes of linear orders that contains at least one linear order with an infinitely ascending sequence, thus including the natural time flows N, Z, and R. 1
DL-Lite and Interval Temporal Logics: a Marriage Proposal (extended version)
, 2014
"... Description logics [10] (DLs) are widely-used logical formalisms for knowl-edge representation, where the domain of interest is structured in concepts whose properties are specified by roles. Complex concepts and role expres-sions are constructed, starting from atomic ones, by applying suitable (log ..."
Abstract
- Add to MetaCart
(Show Context)
Description logics [10] (DLs) are widely-used logical formalisms for knowl-edge representation, where the domain of interest is structured in concepts whose properties are specified by roles. Complex concepts and role expres-sions are constructed, starting from atomic ones, by applying suitable (log-
