Document Open Access Logo

A logical formalism for the subjective approach in a multi-agent setting

Author Guillaume Aucher

Thumbnail PDF


  • Filesize: 318 kB
  • 21 pages

Document Identifiers

Author Details

Guillaume Aucher

Cite AsGet BibTex

Guillaume Aucher. A logical formalism for the subjective approach in a multi-agent setting. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)


Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lot on the nature of this modeling point of view. Classically, in epistemic logic, the models built are supposed to represent the situation from an external and objective point of view. We call this modeling approach the objective approach. In this paper, we study the modeling point of view of a particular agent involved in the situation with other agents. We propose a logical formalism based on epistemic logic that this agent can use to represent `for herself' the surrounding world. We call this modeling approach the subjective approach. We then set some formal connections between the subjective approach and the objective approach. Finally we axiomatize our logical formalism and show that the resulting logic is decidable.
  • Epistemic logic
  • multi-agent system


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail