Finite identification from the viewpoint of epistemic update
From MaRDI portal
Publication:553305
DOI10.1016/j.ic.2010.08.002zbMath1217.68117MaRDI QIDQ553305
Cédric Dégremont, Nina Gierasimczuk
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
dynamic epistemic logic; epistemic temporal logic; epistemic update; finite identifiability of sets from positive data
68Q32: Computational learning theory
03B42: Logics of knowledge and belief (including belief change)
Related Items
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