Switch to: References

Add citations

You must login to add citations.
  1. Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.
  • Kripke Incompleteness of Predicate Extentions of Gabbay-de Jongh's Logic of the Finite Binary Trees.Tatsuya Shimura - 2002 - Bulletin of the Section of Logic 31 (2):111-118.
    Direct download  
     
    Export citation  
     
    Bookmark