Dynamic Logics of Imperfect Information: from Teams and Games to Transitions

Details Dynamic Logics of Imperfect Information: from Teams and Games to Transitions Dynamic Logics of Imperfect Information: from Teams and Games to Transitions

2011-11-22

arxiv.org/abs/1111.5143v2

Mathematics

Logic

Scientific paper

We introduce a new semantical formalism for logics of imperfect information, based on Game Logic (and, in particular, on van Benthem, Ghosh and Lu's Concurrent Dynamic Game Logic). This new kind of semantics combines aspects from game theoretic semantics and from team semantics, and demonstrates how logics of imperfect information can be seen as languages for reasoning about games. Finally we show that, for a very expressive fragment of our language, a simpler semantics is available.

Affiliated with

Also associated with

No associations

Rating

Dynamic Logics of Imperfect Information: from Teams and Games to Transitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Dynamic Logics of Imperfect Information: from Teams and Games to Transitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic Logics of Imperfect Information: from Teams and Games to Transitions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-552917