Tatsuya Shimura

According to our database¹, Tatsuya Shimura authored at least 5 papers between 1991 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.

[BibT_eX]

[DOI]

Stud Logica, 2000

1994

Cut-Elimination Theorem for the Logic of Constant Domains.

[BibT_eX]

[DOI]

Math. Log. Q., 1994

1993

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.

[BibT_eX]

[DOI]

Stud Logica, 1993

1992

Cut-free Systems for some Modal Logics Containing S4.

[BibT_eX]

Reports Math. Log., 1992

1991

Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz.

[BibT_eX]

[DOI]

Reports Math. Log., 1991