Login / Signup
Axiomatization and complexity of modal logic with knowing-what operator on model class K.
Yifeng Ding
Published in:
CoRR (2016)
Keyphrases
</>
modal logic
computational model
probabilistic model
similarity measure
probability distribution
worst case
fixed point
situation calculus