A dynamic logic for learning theory

DOI10.1007/978-3-319-73579-5_3zbMath1502.68283OpenAlexW2781906224MaRDI QIDQ5915995

Alexandru Baltag, Aybüke Özgün, Nina Gierasimczuk, Sonja Smets, Ana Lucia Vargas-Sandoval

Publication date: 12 April 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://orbit.dtu.dk/en/publications/428a9220-45f3-4a39-b026-b89297877ea3

zbMATH Keywords

modal logiclearning theorydynamic epistemic logicepistemologyinductive knowledgesubset-space semantics

Mathematics Subject Classification ID

Computational learning theory (68Q32) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (4)

Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Truth-tracking by belief revision ⋮ A dynamic logic for learning theory

This page was built for publication: A dynamic logic for learning theory