Switch to: References

Add citations

You must login to add citations.
  1. Finite h-dimension does not imply expressive completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.
    A conjecture of Gabbay (1981) states that any class of flows of time having the property known as finite H-dimension admits a finite set of expressively complete one-dimensional temporal connectives. Here we show that the class of 'circular' structures refutes the generalisation of this conjecture to Kripke frames. We then construct from this class, by a general method, a new class of irreflexive transitive flows of time that refutes the original conjecture. Our paper includes full descriptions of a method for (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Reasoning about XML with temporal logics and automata.Leonid Libkin & Cristina Sirangelo - 2010 - Journal of Applied Logic 8 (2):210-232.
    Download  
     
    Export citation  
     
    Bookmark