Marking the chops: an unambiguous temporal logic

  title={Marking the chops: an unambiguous temporal logic},
  author={Kamal Lodaya and Paritosh K. Pandya and Simoni S. Shah},
  booktitle={IFIP TCS},
Interval Temporal Logic [11] is a highly expressive and succ in t logic whose satisfiability over finite words is non-elementary in t he number of alternations of chop and negation operators. All the sublogics of ITL with elementary decidability known to us restrict this alternation depth. In this pape r, we define a sublogic of Interval Temporal Logic by replacing chops with marked ch ops but without any restriction on the alternation depth. We show that the resul ting ogic admits unique… CONTINUE READING
15 Citations
22 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 22 references

FO2 and related logics, Master’s thesis (TIFR

  • S. S. Shah
  • 2007
Highly Influential
4 Excerpts

Diamonds are forever: the variety DA, Semigroups, algorithms, automata and languages

  • P. Tesson, D. Thérien
  • (World Scientific,
  • 2002
Highly Influential
11 Excerpts

Sur le produit de concat énation non ambigu

  • M.-P. Schützenberger
  • Semigroup
  • 1976
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…