Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge
Murai, Ryo; Sano, Katsuhiko
2019, 076-080
Permalink : https://hdl.handle.net/2115/76677
このアイテムのアクセス数:476件(2026-08-19 15:38 集計)
閲覧可能ファイル
論文情報
ファイル出力
EndNote Basic出力
Mendeley出力
| アクセス権 |
|
| URI |
|
| タイトル |
|
| 著者 |
|
|
|
| 言語 |
|
| 発行日 |
|
| ページ |
|
| 記述 |
|
| 会議記述 |
|
| 資源タイプ |
|
| 出版タイプ |
|