| 2000 |
|---|
| 5 | | Tatsuya Shimura:
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.
Studia Logica 65(2): 237-247 (2000) |
| 1994 |
|---|
| 4 | | Tatsuya Shimura,
Ryo Kashima:
Cut-Elimination Theorem for the Logic of Constant Domains.
Math. Log. Q. 40: 153-172 (1994) |
| 1993 |
|---|
| 3 | | Tatsuya Shimura:
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.
Studia Logica 52(1): 23-40 (1993) |
| 1992 |
|---|
| 2 | | Tatsuya Shimura:
Cut-free Systems for some Modal Logics Containing S4.
Reports on Mathematical Logic 26: 39-65 (1992) |
| 1991 |
|---|
| 1 | EE | Tatsuya Shimura:
Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz.
Reports on Mathematical Logic 25: (1991) |
