Tatsuya Shimura

Publication Activity (10 Years)

Years Active: 1991-2000
Publications (10 Years): 0

Publications

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