%0 Journal Article %1 journals/jlap/BaltagGOSS19 %A Baltag, Alexandru %A Gierasimczuk, Nina %A Özgün, Aybüke %A Sandoval, Ana Lucia Vargas %A Smets, Sonja %D 2019 %J J. Log. Algebraic Methods Program. %K dblp %T A dynamic logic for learning theory. %U http://dblp.uni-trier.de/db/journals/jlap/jlap109.html#BaltagGOSS19 %V 109

@article{journals/jlap/BaltagGOSS19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baltag, Alexandru and Gierasimczuk, Nina and Özgün, Aybüke and Sandoval, Ana Lucia Vargas and Smets, Sonja}, biburl = {https://www.bibsonomy.org/bibtex/22237889f522042770785db7efe17096c/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2019.100485}, interhash = {2b225c8e06e145c586c22994d3298c80}, intrahash = {2237889f522042770785db7efe17096c}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, timestamp = {2024-04-09T05:08:11.000+0200}, title = {A dynamic logic for learning theory.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap109.html#BaltagGOSS19}, volume = 109, year = 2019 }