A dynamic logic for learning theory

DOI10.1016/j.jlamp.2019.100485zbMath1435.68310OpenAlexW2971899198MaRDI QIDQ5918210

Aybüke Özgün, Nina Gierasimczuk, Sonja Smets, Alexandru Baltag, Ana Lucia Vargas-Sandoval

Publication date: 28 November 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://backend.orbit.dtu.dk/ws/files/190785803/A_Dynamic_Logic_for_Learning_Theory.pdf

zbMATH Keywords

modal logiclearning theorydynamic epistemic logicepistemologyinductive knowledgesubset-space semantics

Mathematics Subject Classification ID

Computational learning theory (68Q32) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

Cognitive Bias and Belief Revision ⋮ Tracking probabilistic truths: a logic for statistical learning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite identification from the viewpoint of epistemic update
• Knowledge representation and reasoning under uncertainty. Logic at work
• Knowledge on treelike spaces
• Completeness of certain bimodal logics for subset spaces
• Topo-logic as a dynamic-epistemic logic
• Topological reasoning and the logic of knowledge
• Subset Space Logic with Arbitrary Announcements
• Logical Dynamics of Information and Interaction
• Topological Subset Space Models for Public Announcements
• Handbook of Spatial Logics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Language identification in the limit
• A dynamic logic for learning theory

This page was built for publication: A dynamic logic for learning theory