Login / Signup
Infinitary Epistemic Logic.
Aviad Heifetz
Published in:
TARK (1994)
Keyphrases
</>
epistemic logic
modal logic
model checking
dynamic epistemic logic
logical framework
inference rules
multi agent systems
multi faceted
formal semantics
temporal logic
computation tree logic
mathematical theory
qualitative and quantitative
artificial intelligence
mathematical model