Collection home page

Non-Classical Logics and Their Kripke Semantics   15
(http://hdl.handle.net/2433/59817)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 15 of 15
BibliographyContents
表紙・目次
   (1995-11)
  数理解析研究所講究録, 927
file type icon
GLOBAL INTUITIONISTIC LOGIC AND ITS SEMANTIC COMPLETENESS(Non-Classical Logics and Their Kripke Semantics)
  AOYAMA, HIROSHI (1995-11)
  数理解析研究所講究録, 927: 1-15
file type icon
様相述語論理のKripke bundle semanticsに関する不完全性(非古典論理とそのKripke意味論に関する諸問題)
  磯田, 恵以子 (1995-11)
  数理解析研究所講究録, 927: 16-31
file type icon
Game Logic and its Applications I(Non-Classical Logics and Their Kripke Semantics)
  Kaneko, Mamoru, Nagashima, Takashi (1995-11)
  数理解析研究所講究録, 927: 32-52
file type icon
証明図の集合としての論理(非古典論理とそのKripke意味論に関する諸問題)
  古森, 雄一 (1995-11)
  数理解析研究所講究録, 927: 53-55
file type icon
命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題)
  松岡, 聡 (1995-11)
  数理解析研究所講究録, 927: 56-65
file type icon
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
file type icon
Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)
  Ono, Hiroakira (1995-11)
  数理解析研究所講究録, 927: 88-103
file type icon
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について。(非古典論理とそのKripke意味論に関する諸問題)
  志村, 立矢 (1995-11)
  数理解析研究所講究録, 927: 104-115
file type icon
Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)
  Shirahata, Masaru (1995-11)
  数理解析研究所講究録, 927: 116-126
file type icon
Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)
  SHIRASU, Hiroyuki (1995-11)
  数理解析研究所講究録, 927: 127-139
file type icon
Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)
  SUZUKI, NOBU-YUKI (1995-11)
  数理解析研究所講究録, 927: 140-156
file type icon
可能世界意味論に対する一批判(非古典論理とそのKripke意味論に関する諸問題)
  竹内, 泉 (1995-11)
  数理解析研究所講究録, 927: 157-170
file type icon
A WEAK SET THEORY WITH GLOBALIZATION(Non-Classical Logics and Their Kripke Semantics)
  TITANI, SATOKO (1995-11)
  数理解析研究所講究録, 927: 171-186
file type icon
Lattices of Subframe Logics A Survey(Non-Classical Logics and Their Kripke Semantics)
  Wolter, Frank (1995-11)
  数理解析研究所講究録, 927: 187-208
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 15 of 15