Sciweavers

TARK
2007
Springer
14 years 6 months ago
Theorems and unawareness
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
Spyros Galanis