| pdf |
2--5 |
Katsuhiko SANO |
Predicate Bimodal Logics with Irreflexive Modality |
| pdf |
6--9 |
Toshimasa Matsumoto |
Construction of reduced counter-models for S4 |
| pdf |
10--12 |
Sato Kentaro |
Genaralizations of Stone's Representation - A Suvey |
| pdf |
13--15 |
Hitoshi Kihara |
Halld\'{e}n Completeness and Principle of Variable Separation
of Commutative Substructural Logics |
| pdf |
16--19 |
Takeshi OSHIBA |
A natural extension of Shannon type normal form expansin base
of Multi-modal logics |
| pdf |
20--23 |
Katsumi Sasaki |
GL-provability of Ű-formulas in Grz |
| pdf |
24--27 |
Mamoru Kaneko and Nobu-Yuki Suzuki |
Contentwise Complexity of Inferences based on Epistemic
Logics of Shallow Depths in Game Theoretical Situations |
| pdf |
28--31 |
Tadeusz Litak |
On the Gargov and Goranko translation |
| pdf |
32--35 |
Nikolaos Galatos |
Extensions of Glivenko's theorem to non-commutative
substructural logics |
| pdf |
36--38 |
Hiroakira Ono |
Modalities in substructural logics \ a preliminary report |
| pdf |
39--42 |
Shunfichi J. Amano |
The Finite Embeddability Property of the Variety of Modal
Residuated Lattices |
| pdf |
43--45 |
Kuniaki Tamura |
Hybrid logic with Pure and Sahlqvist axioms |
| pdf |
46--48 |
SHIMURA Tatsuya |
On a strong form of disjunction property |
| pdf |
49--52 |
Shunsuke Yatabe, Hiroyuki Inaoka |
On Evans vague object |
| pdf |
53--55 |
Takahiro Seki |
Two Topics on Disjunctive Rules in Relevant Modal Logic |
| pdf |
56--58 |
Yuichi Komori |
Independent Axiom Systems of Minimal formulas for Classical
Logic |
| pdf |
59--62 |
Ryo Kashima |
Problems on axiomatization of intermediate propositional
logics |
| pdf |
63--66 |
Katsumi Sasaki |
On exact models for the formulas with only one variable in S4 |