Switch to: Citations

Add references

You must login to add references.
  1. Decidability of four modal logics.Krister Segerberg - 1968 - Theoria 34 (1):21-25.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)Selective filtration in modal logic Part A. Semantic tableaux method.Dovm Gabbay - 1970 - Theoria 36 (3):323-330.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Selective filtration in modal logic Part A. Semantic tableaux method.Dovm Gabbay - 1970 - Theoria 36 (3):323-330.
    Download  
     
    Export citation  
     
    Bookmark   4 citations