書誌情報	ファイル
表紙・目次    (1995-11)   数理解析研究所講究録, 927
GLOBAL INTUITIONISTIC LOGIC AND ITS SEMANTIC COMPLETENESS(Non-Classical Logics and Their Kripke Semantics)   AOYAMA, HIROSHI (1995-11)   数理解析研究所講究録, 927: 1-15
様相述語論理のKripke bundle semanticsに関する不完全性(非古典論理とそのKripke意味論に関する諸問題)   磯田, 恵以子 (1995-11)   数理解析研究所講究録, 927: 16-31
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: 53-55
命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題)   松岡, 聡 (1995-11)   数理解析研究所講究録, 927: 56-65
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
Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)   Ono, Hiroakira (1995-11)   数理解析研究所講究録, 927: 88-103
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について。(非古典論理とそのKripke意味論に関する諸問題)   志村, 立矢 (1995-11)   数理解析研究所講究録, 927: 104-115
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
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
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