|
|
JAIST Repository >
著者: "Sano, Katsuhiko"
8 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 2012 | An Intuitionistic Investigation of Prerequisite-Effect Structure | Sano, Katsuhiko; Hagiwara, Shingo; Tojo, Satoshi |
| 2013 | 包含関係と先行関係をもつ時区間論理におけるフレームの埋込み可能性 | 古賀, たかし; 佐野, 勝彦; 東条, 敏; Koga, Takashi; Sano, Katsuhiko; Tojo, Satoshi |
| 2013 | Dynamic Epistemic Logic for Channel-Based Agent Communication | Sano, Katsuhiko; Tojo, Satoshi |
| 6-Nov-2014 | Belief Re-revision in Chivalry Case | Jirakunkanok, Pimolluck; Hirose, Shinya; Sano, Katsuhiko; Tojo, Satoshi |
| 2015 | Linear Algebraic Semantics for Multi-agent Communication | Hatano, Ryo; Sano, Katsuhiko; Tojo, Satoshi |
| 5-Jun-2015 | 多次元ハイブリッド論理に基づくエージェント相互作用の動的研究 | 佐野, 勝彦; Sano, Katsuhiko |
| 25-Aug-2015 | Analyzing Reliability Change in Legal Case | Jirakunkanok, Pimolluck; Sano, Katsuhiko; Tojo, Satoshi |
| 17-Oct-2015 | Revising a Labelled Sequent Calculus for Public Announcement Logic | Nomura, Shoshin; Sano, Katsuhiko; Tojo, Satoshi |
|
