Login / Signup
Epistemic Logic of Know-Who.
Sophia Epstein
Pavel Naumov
Published in:
AAAI (2021)
Keyphrases
</>
epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
logical framework
computation tree logic
multi faceted
inference rules
formal semantics
mathematical theory
temporal logic
object oriented