Switch to: References

Add citations

You must login to add citations.
  1. Local tabularity without transitivity.Ilya Shapirovsky & Valentin Shehtman - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 520-534.
    Download  
     
    Export citation  
     
    Bookmark  
  • On linear Brouwerian logics.Zofia Kostrzycka - 2014 - Mathematical Logic Quarterly 60 (4-5):304-313.
    We define a special family of Brouwerian logics determined by linearly ordered frames. Then we prove that all logics of this family have the finite model property and are Kripke complete.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Normal Modal Logics Determined by Aligned Clusters.Zofia Kostrzycka & Yutaka Miyazaki - 2017 - Studia Logica 105 (1):1-11.
    We consider the family of logics from NExt which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.
    Download  
     
    Export citation  
     
    Bookmark