Switch to: References

Add citations

You must login to add citations.
  1. Transitivity of finite models constructed from normal forms for a modal logic containing k4.Katsumi Sasaki - 2012 - Bulletin of the Section of Logic 41 (1/2):75-88.
    Download  
     
    Export citation  
     
    Bookmark