# Hirokazu Nishimura

According to our database

Collaborative distances:

^{1}, Hirokazu Nishimura authored at least 19 papers between 1979 and 1994.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1994

Boolean Valued and Stone Algebra Valued Measure Theories.

Math. Log. Q., 1994

1993

Math. Log. Q., 1993

On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.

Math. Log. Q., 1993

1991

Foundations of Boolean Valued Algebraic Geometry.

Math. Log. Q., 1991

Some Boolean Valued Commutative Algebra.

Math. Log. Q., 1991

Boolean Valued Dedekind Domains.

Math. Log. Q., 1991

Boolean Valued Lie Algebras.

J. Symb. Log., 1991

1990

Some connections between boolean valued analysis and topological reduction theory for C

^{*}-algebras.
Math. Log. Q., 1990

On the absoluteness of types in boolean valued lattices.

Math. Log. Q., 1990

1983

Hauptsatz for Higher-Order Modal Logic.

J. Symb. Log., 1983

1981

The Semantical Characterization of de Dicto in Continuous Modal Model Theory.

Math. Log. Q., 1981

1980

Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.

Math. Log. Q., 1980

A Preservation Theorem for Tense Logic.

Math. Log. Q., 1980

Sequential Method in Quantum Logic.

J. Symb. Log., 1980

Descriptively Complete Process Logic.

Acta Inf., 1980

1979

On the Completeness of Chronological Logics with Modal Operators.

Math. Log. Q., 1979

Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?

J. Philosophical Logic, 1979

Is the semantics of branching structures adequate for chronological modal logics?

J. Philosophical Logic, 1979

Sequential Method in Propositional Dynamic Logic.

Acta Inf., 1979