CORR
2006
Springer
13 years 11 months ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...