Switch to: References

Citations of:

Normal Modal Logics Contianing KTB with some Finiteness Conditions

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190 (1998)

Add citations

You must login to add citations.
  1. 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  
  • (1 other version)A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
    It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 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  
  • 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  
  • On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Transparent unifiers in modal logics with self-conjugate operators.Wojciech Dzik - 2006 - Bulletin of the Section of Logic 35 (2/3):73-83.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On interpolation in next ).Zofia Kostrzycka - 2018 - Bulletin of the Section of Logic 47 (3):159.
    We prove that there is infinitely many tabular modal logics extending KB.Alt which have interpolation.
    Download  
     
    Export citation  
     
    Bookmark