Bidoit/Hennicker/Kurz双対性

ビドォイト／ヘンニッカー／カーツ（Bidoit/Hennicker/Kurz）双対性に関して：

• Title: On the Duality between Observability and Reachability (2001)
• Authors: M. Bidoit, R. Hennicker, A. Kurz
• URL: http://citeseer.ist.psu.edu/bidoit01duality.html
• 26ページ、印刷したような気もするが忘れた

• Title: On the Integration of Observability and Reachability Concepts (2002)
• Authors: M. Bidoit, R. Hennicker
• URL: http://citeseer.ist.psu.edu/bidoit02integration.html
• 19ページ

以上の2つを読めばいいと思う。

論理的な観点からは↓

• Title: Observational Logic, Constructor-Based Logic, and their Duality (2002)
• Authors: M. Bidoit, R. Hennicker, A. Kurz
• URL: http://citeseer.ist.psu.edu/bidoit02observational.html
• 35ページ

初期の短くわかりやすいもの↓：

• Title: On Observability and Reachability
• Authors: Michel Bidoit, Rolf Hennicker, Alexander Kurz
• URL: http://citeseer.ist.psu.edu/500492.html
• 17ページ

最後の短いのを読んでみたが、後半がはしょってあってワカラン！ 35ページのヤツの16ページ以降を印刷してみた（読んでないが）。