159
click to vote
TARK
1992
Springer
15 years 7 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
1992
Springer
15 years 7 months ago
1992
Springer