A modal logic for supervised learning
From MaRDI portal
Publication:2155207
DOI10.1007/s10849-022-09359-wOpenAlexW4220897616MaRDI QIDQ2155207
Mina Young Pedersen, Dazhu Li, Alexandru Baltag
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finite identification from the viewpoint of epistemic update
- Monotonic and dual monotonic language learning
- Bridging learning theory and dynamic epistemic logic
- Learning regular sets from queries and counterexamples
- Model theory
- Hybrid languages
- On the subtle nature of a simple logic of the hide and seek game
- A topological approach to full belief
- Moving Arrows and Four Model Checking Results
- THE EXPRESSIVE POWER OF MEMORY LOGICS
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable
- Learning by Erasing in Dynamic Epistemic Logic
- Learning and Teaching as a Game: A Sabotage Approach
- Normal monomodal logics can simulate all others
- Modal logics of sabotage revisited
- Satisfiability for relation-changing logics
- Relation-changing modal operators: Fig. 1.
- THE MODAL LOGIC OF STEPWISE REMOVAL
- Losing connection: the modal logic of definable link deletion
- Language identification in the limit