Transition Semantics - The Dynamics of Dependence Logic

Details Transition Semantics - The Dynamics of Dependence Logic Transition Semantics - The Dynamics of Dependence Logic

2012-03-05

arxiv.org/abs/1203.0871v1

Mathematics

Logic

Scientific paper

We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and van Benthem's representation theorem for First-Order Logic and Dynamic Game Logic is adapted to the case of Dependence Logic and Transition Logic. This suggests a new perspective on the interpretation of Dependence Logic formulas, in terms of assertions about reachability in games of imperfect information against Nature. We then capitalize on this intuition by developing expressively equivalent variants of Dependence Logic in which this interpretation is taken to the foreground.

Affiliated with

Also associated with

No associations

Rating

Transition Semantics - The Dynamics of Dependence Logic 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 Transition Semantics - The Dynamics of Dependence Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Transition Semantics - The Dynamics of Dependence Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-132788