Login / Signup
Idealization, epistemic logic, and epistemology.
Audrey Yap
Published in:
Synth. (2014)
Keyphrases
</>
epistemic logic
modal logic
model checking
multi agent systems
logical framework
dynamic epistemic logic
inference rules
multi faceted
formal semantics
mathematical theory
temporal logic
image processing
computational model