21 citations · 41 across the 16 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.LO2011
Dynamic Logics of Imperfect Information: from Teams and Games to Transitions
Pietro Galliani
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).…
math.LO2011★ 1 cited
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
Pietro Galliani
We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The prop…