Art
J-GLOBAL ID：201902107662821320   Reference number：19S2192751

Kripke completeness of predicate extensions of cofinal subframe logics

  • 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： 30  Issue： 2  Page： 107-114  Publication year： 2001 
JST Material Number： SCOPUS  ISSN： 0138-0680 
Country of issue： Poland (POL)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM