161
click to vote
ICLA
14 years 1 months ago
2011 Springer 
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that th...
122
click to vote
ICLA
14 years 1 months ago
2011 Springer 
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
|
Artificial Intelligence