Browsing by Subject "modal"
Now showing items 1-1 of 1
-
The ability to reason about other agents' beliefs has many applications in multi-agent systems, including facilitating coordinated behavior, teamwork, and information exchange. Modal logics are commonly used to formally ...