@phdthesis{oai:ir.soken.ac.jp:00006660,
 author = {小森田, 祐一 and コモリダ, ユウイチ and KOMORIDA, Yuichi},
 month = {2023-04-28, 2023-04-28},
 note = {application/pdf, 総研大甲第2415号},
 school = {総合研究大学院大学},
 title = {Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities(ファイバー圏によるシステムの挙動と観測の数理：様相を通じた双模倣・ゲーム・論理の統一的理論)},
 year = {}
}