CiNii 図書 - Non-classical logics and their Kripke semantics

著者

Non-classical logics and their Kripke semantics

（数理解析研究所講究録, 927）

京都大学数理解析研究所, 1995.11

短期共同研究「非古典論理とそのKripke意味論に関する諸問題」報告集(1995年7月18日-7月20日) 研究代表者:鈴木信行

Global intuitionistic logic and its semantic completeness / 青山広
様相術語論理のKripke bundle semanticsに関する不完全性 / 礒田恵以子
Game logic and its applications I / 金子守, 永島孝
証明図の集合としての論理 / 古森雄一
命題様相論理の充足可能性問題の計算量について / 松岡聡
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic : preliminary report / 永山操, 岡田光弘
Algebraic semantics for predicate logics and their completeness / 小野寛晰
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について / 志村立矢
Two simple models for linear set theory / 白旗優
Glueing of algebras for substructural logics / 白須裕之
Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics / 鈴木信行
可能世界意味論に対する一批判 / 竹内泉
A weak set theory with globalization / 千谷慧子
Lattices of subframe logics : a survey / Frank Wolter