A dynamic logic for learning theory.
Alexandru BaltagNina GierasimczukAybüke ÖzgünAna Lucia Vargas SandovalSonja SmetsPublished in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
- learning theory
- dynamic logic
- modal logic
- imperative programs
- computational learning theory
- reasoning about actions
- instructional design
- theoretical computer science
- pac learning
- concept class
- propositional dynamic logic
- generalization bounds
- first order logic
- learning algorithm
- widely applicable
- concept classes
- sample size