Logics for Multiagent Systems

Wiebe van der Hoek, Michael Wooldridge


We present a brief survey of logics for reasoning about multiagent systems. We focus on two paradigms: logics for cognitive models of agency, and logics used to model the strategic structure of a multiagent system.

Full Text:


DOI: http://dx.doi.org/10.1609/aimag.v33i3.2427

Copyright © 2015, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.