Alert button

"Knowing value" logic as a normal modal logic

Nov 21, 2016
Tao Gu, Yanjing Wang

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: