"Knowing value'' logic as a normal modal logic.

Tao Gu, Yanjing Wang

Browse the full AiML paper archive.