Switch to: References

Add citations

You must login to add citations.
  1. Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
    In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 459-463.
    Download  
     
    Export citation  
     
    Bookmark