more recently, michael wooldridge has extended bdictl to define lora (the logic of rational agents), by incorporating an action logic. in principle, lora allows reasoning not only about individual agents, but also about communication and other interaction in a multi-agent system.