Sciweavers

Share
ICLA
2011
Springer
10 years 3 months ago
Becoming Aware of Propositional Variables
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...
Hans P. van Ditmarsch, Tim French
ICLA
2011
Springer
10 years 3 months ago
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
Ernst-Erich Doberkat
Artificial Intelligence
Top of PageReset Settings
books