Works by Liao, Cheng (exact spelling)

Order:
  1.  31
    Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.
    The Ehrenfeucht–Fraïsse game for a logic usually provides an intuitive characterizarion of its expressive power while in abstract model theory, logics are compared by their expressive powers. In this paper, I explore this connection in details by proving a general Lindström theorem for logics which have certain types of Ehrenfeucht–Fraïsse games. The results generalize and uniform some known results and may be applied to get new Lindström theorems for logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark