A modal logic for supervised learning

DOI10.1007/S10849-022-09359-WMaRDI QIDQ2155207zbMATH OpenOpenAlexFDO

Authors Alexandru Baltag, Dazhu Li, Mina Young Pedersen

Publication date 15 July 2022

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-022-09359-w

zbMATH Keywords

modal logicundecidabilitydynamic logicgraph gamesformal learning theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Learning and teaching as a game: A sabotage approach
• A dynamic logic for learning theory
• A dynamic logic for learning theory
• Angluin learning via logic
• Learning Modal Theories

Cites work

• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• A topological approach to full belief
• Bridging learning theory and dynamic epistemic logic
• Finite identification from the viewpoint of epistemic update
• Hybrid languages
• Language identification in the limit
• Learning and teaching as a game: A sabotage approach
• Learning by Erasing in Dynamic Epistemic Logic
• Learning regular sets from queries and counterexamples
• Logic in games
• Losing connection: the modal logic of definable link deletion
• Modal logic
• Modal logics of sabotage revisited
• Model theory
• Monotonic and dual monotonic language learning
• Moving Arrows and Four Model Checking Results
• Normal monomodal logics can simulate all others
• On the subtle nature of a simple logic of the hide and seek game
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Relation-changing modal operators
• Satisfiability for relation-changing logics
• THE MODAL LOGIC OF STEPWISE REMOVAL
• The expressive power of memory logics

Cited in

(2)

• Learning Modal Theories
• Learning and teaching as a game: A sabotage approach

This page was built for publication: A modal logic for supervised learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2155207)