Finite identification from the viewpoint of epistemic update

DOI10.1016/j.ic.2010.08.002zbMath1217.68117MaRDI QIDQ553305

Nina Gierasimczuk, Cédric Dégremont

Publication date: 27 July 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2010.08.002

zbMATH Keywords

dynamic epistemic logic; epistemic temporal logic; epistemic update; finite identifiability of sets from positive data

Mathematics Subject Classification ID

68Q32: Computational learning theory

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

Related Items

Unnamed Item, Logic and Learning, A dynamic logic for learning theory, Truth-tracking by belief revision, A modal logic for supervised learning, Invariance Properties of Quantifiers and Multiagent Information Exchange

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Bridging learning theory and dynamic epistemic logic
• Merging frameworks for interaction
• A knowledge based semantics of messages
• Complete axiomatizations for reasoning about knowledge and branching time
• Iterated belief revision, reliability, and inductive amnesia
• Logics for epistemic programs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Learning by erasing
• Bridges between Dynamic Doxastic and Doxastic Temporal Logics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Learning by Erasing in Dynamic Epistemic Logic
• Dynamic logic for belief revision
• Can Doxastic Agents Learn? On the Temporal Structure of Learning
• “Sometimes” and “not never” revisited
• Language identification in the limit