Works by Hyttinen, T. (exact spelling)

6 found
Order:
  1.  3
    Decidability of IF Modal Logic of Perfect Recall.T. Hyttinen & T. Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-131.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  24
    On second-order characterizability.T. Hyttinen, K. Kangas & J. Vaananen - 2013 - Logic Journal of the IGPL 21 (5):767-787.
  3.  7
    Decidability of IF Modal Logic of Perfect Recall.T. Hyttinen & T. Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-131.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Antonelli, GA, 277 Bamber, D., 1 Bell, JL, 585 Correia, F., 295.I. Düntsch, G. F. Díez, K. Fine, M. Gómez-Torrente, S. M. Glaister, L. Goble, T. Hailperin, S. O. Hansson, L. Humberstone & T. Hyttinen - 2000 - Journal of Philosophical Logic 29 (637).
     
    Export citation  
     
    Bookmark   4 citations  
  5.  17
    On non‐determined ehrenfeucht‐fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Mathematical Logic Quarterly 38 (1):399-408.
    In this paper we prove under some set theoretical assumptions that if T is a countable unstable theory then there is a pair of models of T such that Ehrenfeucht-Fraïssé games between these models of large variety of lengths are non-determined.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  32
    On non-determined Ehrenfeucht-fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):399-408.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation