文献
J-GLOBAL ID：201902105999898853   整理番号：19S1853243

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

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (1件)：
Shimura, Tatsuya

Shimura, Tatsuya について

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

Department of Mathematics, College of Science and Technology, Nihon University について


資料名：
Studia Logica

Studia Logica について


巻： 65  号： 2  ページ： 237-247  発行年： 2000年 
JST資料番号： SCOPUS  ISSN： 0039-3215 
発行国： オランダ (NLD)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM