Construction of Transitive Closure of Binary Multirelations

IR (HANDLE) Web Site Open Access

Bibliographic Information

Other Title
  • 二項多重関係の反射的推移的閉包の構成

Search this article

Description

Binary multirelations have received attention in recent years as a semantic domain of nondeterministic programming languages. Also, it is known that binary multirelations provide a model of Parikh’s game logic. The iteration operator plays a central role in these programming languages and the logic, and it is natural that the iteration is ineterpreted as the reflexive transitive closure of a binary multirelation. We investigate constructions of the reflexive transitive closure among basic properties of up-closed binary multirelations.

Journal

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top