资源分类
》 资源 》论文》Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classi?cation?

Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classi?cation?

2019-11-12 | |  27 |   27 |   0
Abstract We compare the expressiveness of the fragments of Halpern and Shoham’s interval logic (HS), i.e., of all interval logics with modal operators associated with Allen’s relations between intervals in linear orders. We establish a complete set of interde?nability equations between these modal operators, and thus obtain a complete classi?cation of the family of 212 fragments of HS with respect to their expressiveness. Using that result and a computer program, we have found that there are 1347 expressively different such interval logics over the class of all linear orders.

上一篇：Revising Horn Theories James P. Delgrande Pavlos Peppas

下一篇：Tangled Modal Logic for Spatial Reasoning? David Ferna?ndez Duque

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...