3 search results - page 1 / 1 » tark 1992 |
TARK
1992
Springer
13 years 8 months ago
1992
Springer
TARK
1992
Springer
13 years 8 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
TARK
2007
Springer
13 years 10 months ago
2007
Springer
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...