Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1010 非古典論理とKripke意味論の新局面 = New Aspects in Non-Classical Logics and Their Kripke Semantics
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 12.
前
1
2
次
検索結果:
書誌情報
ファイル
A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)
鹿島, 亮; 上出, 哲広 (1997-08)
数理解析研究所講究録, 1010: 35-67
Speaking about transitive frames in propositional languages(New Aspects in Non-Classical Logics and Their Kripke Semantics)
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael (1997-08)
数理解析研究所講究録, 1010: 142-166
A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)
白井, 古希男 (1997-08)
数理解析研究所講究録, 1010: 113-130
An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics)
SUZUKI, Nobu-Yuki (1997-08)
数理解析研究所講究録, 1010: 131-141
直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面)
佐々木, 克己 (1997-08)
数理解析研究所講究録, 1010: 81-88
Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics)
Fujita, Ken-etsu (1997-08)
数理解析研究所講究録, 1010: 7-34
An application of Jankov's characteristic formulas(New Aspects in Non-Classical Logics and Their Kripke Semantics)
志村, 立矢 (1997-08)
数理解析研究所講究録, 1010: 89-100
A coherence space semantics for linear set theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
Shirahata, Masaru (1997-08)
数理解析研究所講究録, 1010: 101-112
An approach to the liar paradox(New Aspects in Non-Classical Logics and Their Kripke Semantics)
LUKOWSKI, Piotr (1997-08)
数理解析研究所講究録, 1010: 68-80
Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
TASHIRO, Hidetoshi (1997-08)
数理解析研究所講究録, 1010: 167-173
絞り込み
著者
1
Bezhanishvili, Guram
1
Fujita, Ken-etsu
1
LUKOWSKI, Piotr
1
Shirahata, Masaru
1
SUZUKI, Nobu-Yuki
1
Suzuki, Yasuhito
1
TASHIRO, Hidetoshi
1
TITANI, SATOKO
1
Wolter, Frank
1
Zakharyaschev, Michael
.
次 >
キーワード
1
Backward-induction solution
1
Computability
1
Decidability
1
Kleene's T-predicate
1
Nash equilibrium
1
Playability
発行日
12
1997
分類
12
410