Hirokazu K. Nishimura

Bibliography

Nishimura, Hirokazu K. 1979a. “Is the Semantics of Branching Structures Adequate for Chronological Modal Logics?” The Journal of Philosophical Logic 8(4): 469–475.
Nishimura, Hirokazu K. 1979b. “Is the Semantics of Branching Structures Adequate for Non-Metric Ockhamist Tense Logics?” The Journal of Philosophical Logic 8(4): 477–478.
Nishimura, Hirokazu K. 1981. “Intensity, Visible-Surface, and Volumetric Representations.” Artificial Intelligence 17(1–3): 265–284.
Nishimura, Hirokazu K. 1983. “Hauptsatz for Higher Order Modal Logic.” The Journal of Symbolic Logic 48: 744–751.