Bridging learning theory and dynamic epistemic logic

DOI10.1007/s11229-009-9549-1zbMath1183.03012MaRDI QIDQ1036054

Nina Gierasimczuk

Publication date: 4 November 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9549-1

zbMATH Keywords

belief revision; induction; dynamic doxastic logic; dynamic epistemic logic; identification in the limit; epistemic update; co-learning; finite identifiability; learning by elimination; learning by erasing

Mathematics Subject Classification ID

68Q32: Computational learning theory

03B42: Logics of knowledge and belief (including belief change)

Related Items

Logic and Learning, Finite identification from the viewpoint of epistemic update, Merging DEL and ETL, Dynamic update with probabilities

Cites Work

• Unnamed Item
• Belief revision in the service of scientific discovery
• Logics for epistemic programs
• Learning by erasing
• Dynamic Epistemic Logic and Knowledge Puzzles
• The Problem of Learning the Semantics of Quantifiers
• Identification through Inductive Verification
• Can Doxastic Agents Learn? On the Temporal Structure of Learning
• Learning and Teaching as a Game: A Sabotage Approach
• On the logic of theory change: Partial meet contraction and revision functions
• Inductive inference of formal languages from positive data
• Language identification in the limit