%0 Journal Article %A Isoda, Eiko %D 1997 %I Springer Netherlands %J Studia Logica %N 3 %P 395-401 %T Kripke bundle semantics and c-set semantics %V 58