Art
J-GLOBAL ID：201902100066652339   Reference number：19S2066820

Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (2)：
Isoda, Eiko

About Isoda, Eiko

(Department of Mathematics and Computer Science, Tsuda College)

About Department of Mathematics and Computer Science, Tsuda College

, 
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： 27  Issue： 4  Page： 182-189  Publication year： 1998 
JST Material Number： SCOPUS  ISSN： 0138-0680 
Country of issue： Poland (POL) 

Return to Previous Page

TOP

BOTTOM