Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Kripke completeness of predicate extensions of cofinal subframe logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.
    Download  
     
    Export citation  
     
    Bookmark