Login / Signup
An Axiomatisation for Minimal Social Epistemic Logic.
Liang Zhen
Published in:
LORI (2017)
Keyphrases
</>
epistemic logic
modal logic
inference rules
multi faceted
dynamic epistemic logic
multi agent systems
logical framework
model checking
temporal logic
computation tree logic
mathematical theory
formal semantics
object oriented
software engineering