Switch to: References

Add citations

You must login to add citations.
  1. Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.
    Download  
     
    Export citation  
     
    Bookmark  
  • Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
    Stable logics are modal logics characterized by a class of frames closed under relation preserving images. These logics admit all filtrations. Since many basic modal systems such as K4 and S4 are not stable, we introduce the more general concept of an M-stable logic, where M is an arbitrary normal modal logic that admits some filtration. Of course, M can be chosen to be K4 or S4. We give several characterizations of M-stable logics. We prove that there are continuum many (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations