Login / Signup
Building Epistemic Logic from Observations and Public Announcements.
Tristan Charrier
Andreas Herzig
Emiliano Lorini
Faustine Maffre
François Schwarzentruber
Published in:
KR (2016)
Keyphrases
</>
epistemic logic
model checking
modal logic
multi agent systems
dynamic epistemic logic
formal semantics
multi faceted
mathematical theory
computation tree logic
inference rules
logical framework
temporal logic
artificial intelligence
test set