Bridging learning theory and dynamic epistemic logic.

Nina Gierasimczuk

Published in: Synth. (2009)

Keyphrases

learning theory
dynamic epistemic logic
epistemic logic
computational learning theory
modal logic
generalization bounds
concept classes
theoretical computer science
automata theory
model checking
cooperative
multi agent systems
concept class
multi faceted
logical framework
inference rules
databases