@article{oai:ir.kagoshima-u.ac.jp:00007328,
 author = {津曲, 紀宏 and TSUMAGARI, Norihiro and 西澤, 弘毅 and NISHIZAWA, Koki and 古澤, 仁 and FURUSAWA, Hitoshi},
 journal = {鹿児島大学理学部紀要, Reports of the Faculty of Science, Kagoshima University},
 month = {},
 note = {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.},
 pages = {1--9},
 title = {二項多重関係の反射的推移的閉包の構成},
 volume = {42},
 year = {2009}
}