Tatsuya Shimura Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:65, n:2, pp:237-247 [Journal]

Tatsuya Shimura Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. [Citation Graph (0, 0)][DBLP] Studia Logica, 1993, v:52, n:1, pp:23-40 [Journal]

Tatsuya Shimura Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1991, v:25, n:, pp:- [Journal]

Tatsuya Shimura Cut-free Systems for some Modal Logics Containing S4. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 1992, v:26, n:, pp:39-65 [Journal]

Search in 0.002secs, Finished in 0.003secs

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP