Finite identification from the viewpoint of epistemic update

DOI10.1016/j.ic.2010.08.002zbMath1217.68117OpenAlexW1999249374MaRDI 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 logicepistemic temporal logicepistemic updatefinite identifiability of sets from positive data

Mathematics Subject Classification ID

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

Related Items (6)

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

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

This page was built for publication: Finite identification from the viewpoint of epistemic update