Login / Signup
Beyond knowing that: a new generation of epistemic logics.
Yanjing Wang
Published in:
CoRR (2016)
Keyphrases
</>
epistemic logic
expressive power
propositional dynamic logic
databases
higher order
inference rules
generation process
kripke models
learning algorithm
expert systems
modal logic
classical logic