Switch to: References

Add citations

You must login to add citations.
  1. Modal logic of time division.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 363-387.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The expressive power of Malitz quantifiers for linear orderings.Hans-Peter Tuschik - 1987 - Annals of Pure and Applied Logic 36:53-103.
    Download  
     
    Export citation  
     
    Bookmark  
  • The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.
    In this article the structure of the models of decidable monadic theories of planar graphs is investigated. It is shown that if the monadic theory of a class K of planar graphs is decidable, then the tree-width in the sense of Robertson and Seymour of the elements of K is universally bounded and there is a class T of trees such that the monadic theory of K is interpretable in the monadic theory of T.
    Download  
     
    Export citation  
     
    Bookmark   7 citations