A dynamic-epistemic hybrid logic for int
โ
O. Roy
๐
Article
๐
2009
๐
Springer Netherlands
๐
English
โ 419 KB