Art
J-GLOBAL ID：201902105999898853   Reference number：19S1853243

Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster

  • 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：
Studia Logica

About Studia Logica


Volume： 65  Issue： 2  Page： 237-247  Publication year： 2000 
JST Material Number： SCOPUS  ISSN： 0039-3215 
Country of issue： Netherlands (NLD)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM