Natsumi Kitajima, Shinsuke Nara, Yuichi Goto and Jingde Cheng
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems