CASYS
International Journal of Computing Anticipatory Systems
Natsumi Kitajima, Shinsuke Nara, Yuichi Goto et Jingde Cheng
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems