Switch to: Citations

Add references

You must login to add references.
  1. Reduced products and nonstandard logics.M. Benda - 1969 - Journal of Symbolic Logic 34 (3):424-436.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.
    The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect information. We also give an Ehrenfeucht-Fraïssé game adequate for this logic and use it to define a Distributive Normal Form for independence friendly logic.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Languages with expressions of finite length.Carol Ruth Karp - 1964 - North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • An Application of Games to the Completeness Problem for Formalized Theories.A. Ehrenfeucht - 1967 - Journal of Symbolic Logic 32 (2):281-282.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Remarks on Predicate Logic with Infinitely Long Expressions.A. Tarski - 1965 - Journal of Symbolic Logic 30 (1):94-95.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Sentential Calculus with Infinitely Long Expressions.Dana Scott & Alfred Tarski - 1965 - Journal of Symbolic Logic 30 (1):95-95.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The role of the Omitting Types Theorem in infinitary logic.Jon Barwise - 1981 - Archive for Mathematical Logic 21 (1):55-68.
    Download  
     
    Export citation  
     
    Bookmark   4 citations