Login / Signup
An epistemic logic for becoming informed.
Giuseppe Primiero
Published in:
Synth. (2009)
Keyphrases
</>
epistemic logic
modal logic
model checking
multi agent systems
logical framework
multi faceted
dynamic epistemic logic
inference rules
computation tree logic
formal semantics
mathematical theory
temporal logic