Normative Multi-Agent Programs and Their Logics

  title={Normative Multi-Agent Programs and Their Logics},
  author={Mehdi Dastani and Davide Grossi and John-Jules Ch. Meyer and Nick A. M. Tinnemeier},
  booktitle={Normative Multi-Agent Systems},
There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reason about beliefs of the bounded reasoners from an external perspective. In this paper, we present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and propose a sound and complete logic in which such reasoning… CONTINUE READING
Highly Cited
This paper has 109 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 59 extracted citations

109 Citations

Citations per Year
Semantic Scholar estimates that this publication has 109 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 33 references

Normal Coalition Logic and its conformant extension

  • J. Broersen, A. Herzig, N. Troquard
  • In Samet, D., ed.: TARK’07, PUL
  • 2007
Highly Influential
6 Excerpts

Model checking pdl with all extras

  • M. Lange
  • J. Applied Logic 4(1)
  • 2006
Highly Influential
7 Excerpts

The Classical Decision Problem, Berlin

  • E. Börger, E. Grädel, Y. Gurevich
  • 1997
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…