Switch to: References

Add citations

You must login to add citations.
  1. Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4):111-130.
    Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Preservation of Craig interpolation by the product of matrix logics.C. Sernadas, J. Rasga & A. Sernadas - 2013 - Journal of Applied Logic 11 (3):328-349.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Why does Halldén-completeness matter?George F. Schumm - 1993 - Theoria 59 (1-3):192-206.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On interpolation and Halldén-completeness in next (ktb).Zofia Kostrzycka - 2012 - Bulletin of the Section of Logic 41 (1/2):23-32.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Interpolation in Normal Extensions of the Brouwer Logic.Zofia Kostrzycka - 2016 - Bulletin of the Section of Logic 45 (3/4).
    The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation