Concepedia

Dynamic epistemic logic with branching temporal structures

Tomohiro Hoshi, Audrey Yap

Synthese · 2009 · 29 citations · 9 references

DOI

Concepts

References

9

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Multiagent systems: algorithmic, game-theoretic, and logical foundations

Yoav Shoham, Kevin Leyton‐Brown · Choice Reviews Online · 2009 · 1.8K citations

, , +17

Bisimulations on Planet Kripke

Jelle Gerbrandy · UvA-DARE (University of Amsterdam) · 1999 · 276 citations · Full text

, , +1

Dynamic epistemic logic and knowledge puzzles

Wiebe van der Hoek, Barteld Kooi, Hans van Ditmarsch et al. · University of Groningen research database (University of Groningen / Centre for Information Technology) · 2007 · 184 citations

, , +12

A Knowledge Based Semantics of Messages

Rohit Parikh, R. Ramanujam · Journal of Logic Language and Information · 2003 · 176 citations

, , +7