WEKO3
-
RootNode
アイテム
Finite model property for an intuitionistic model logic
http://hdl.handle.net/10191/5669
http://hdl.handle.net/10191/5669a74b4c8b-6d10-42d4-a411-3a81285f3c69
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
5_0014.pdf (1.2 MB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-04-08 | |||||
| タイトル | ||||||
| タイトル | Finite model property for an intuitionistic model logic | |||||
| タイトル | ||||||
| タイトル | Finite model property for an intuitionistic model logic | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Finite model property | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | intuitionistic modal logic | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | filtration method | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 著者 |
Takano, Mitio
× Takano, Mitio |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | An intuitionistic modal logic that is an intuitionistic bi-modal version of the modal logic K5 is proved, by means of the filtration method, to enjoy the finite model property. | |||||
| 書誌情報 |
Nihonkai Mathematical Journal en : Nihonkai Mathematical Journal 巻 14, 号 2, p. 125-132, 発行日 2003 |
|||||
| 出版者 | ||||||
| 出版者 | 新潟大学 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 13419951 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA10800960 | |||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
Share
Cite as
Takano, Mitio, 2003, Finite model property for an intuitionistic model logic: 新潟大学, 125–132 p.
Loading...
