Art
J-GLOBAL ID：201902104668050980   Reference number：19S0890211

Kripke incompleteness of predicate extentions of gabbay-de jongh's logic of the finite binary trees

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
Shimura, Tatsuya

About Shimura, Tatsuya

(Department of Mathematics, College of Science and Technology, Nihon University)

About Department of Mathematics, College of Science and Technology, Nihon University


Material：
Bulletin of the Section of Logic

About Bulletin of the Section of Logic


Volume： 31  Issue： 2  Page： 111-118  Publication year： 2002 
JST Material Number： SCOPUS  ISSN： 0138-0680 
Country of issue： Poland (POL) 

Return to Previous Page

TOP

BOTTOM