Logics for 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. Logic can be a powerful tool for reasoning about multiagent systems. First of all, logics provide a language in which to specify properties -- properties of an agent, of other agents, and of the environment. Ideally, such a language then also provides a means to implement an agent or a multiagent system, either by somehow executing the specification, or by transforming the specification into some computational form. Second, given that such properties are expressed as logical formulas that form part of some inference system, they can be used to deduce other properties.