Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0927 非古典論理とそのKripke意味論に関する諸問題 = Non-Classical Logics and Their Kripke Semantics
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 15.
前
1
2
次
検索結果:
書誌情報
ファイル
Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)
SUZUKI, NOBU-YUKI (1995-11)
数理解析研究所講究録, 927: 140-156
可能世界意味論に対する一批判(非古典論理とそのKripke意味論に関する諸問題)
竹内, 泉 (1995-11)
数理解析研究所講究録, 927: 157-170
Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)
Shirahata, Masaru (1995-11)
数理解析研究所講究録, 927: 116-126
Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)
SHIRASU, Hiroyuki (1995-11)
数理解析研究所講究録, 927: 127-139
A WEAK SET THEORY WITH GLOBALIZATION(Non-Classical Logics and Their Kripke Semantics)
TITANI, SATOKO (1995-11)
数理解析研究所講究録, 927: 171-186
Lattices of Subframe Logics A Survey(Non-Classical Logics and Their Kripke Semantics)
Wolter, Frank (1995-11)
数理解析研究所講究録, 927: 187-208
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic(Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)
NAGAYAMA, Misao; OKADA, Mitsuhiro (1995-11)
数理解析研究所講究録, 927: 66-87
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について。(非古典論理とそのKripke意味論に関する諸問題)
志村, 立矢 (1995-11)
数理解析研究所講究録, 927: 104-115
Game Logic and its Applications I(Non-Classical Logics and Their Kripke Semantics)
Kaneko, Mamoru; Nagashima, Takashi (1995-11)
数理解析研究所講究録, 927: 32-52
命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題)
松岡, 聡 (1995-11)
数理解析研究所講究録, 927: 56-65
絞り込み
著者
1
AOYAMA, HIROSHI
1
Kaneko, Mamoru
1
Nagashima, Takashi
1
NAGAYAMA, Misao
1
OKADA, Mitsuhiro
1
Ono, Hiroakira
1
Shirahata, Masaru
1
SHIRASU, Hiroyuki
1
SUZUKI, NOBU-YUKI
1
TITANI, SATOKO
.
次 >
分類
15
410
資料種別
14
Departmental Bulletin Paper
1
Others