Bridging learning theory and dynamic epistemic logic

DOI10.1007/s11229-009-9549-1zbMath1183.03012OpenAlexW2019179794MaRDI 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 revisioninductiondynamic doxastic logicdynamic epistemic logicidentification in the limitepistemic updateco-learningfinite identifiabilitylearning by eliminationlearning by erasing

Mathematics Subject Classification ID

Computational learning theory (68Q32) Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

A modal logic for supervised learning ⋮ Merging DEL and ETL ⋮ Truth-tracking by belief revision ⋮ Finite identification from the viewpoint of epistemic update ⋮ Dynamic update with probabilities ⋮ Logic and Learning

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

This page was built for publication: Bridging learning theory and dynamic epistemic logic