Bixiong Liu

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
When specifying multiagent systems and mental states such as belief and goal of agents, temporal logics are often adopted as basic theoretical tools. Although there are work on nonmonotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the nonmonotonic extension of the logic of cooperation and propositional control (CL-PC)(More)
  • 1