A dynamic logic for learning theory
Baltag, Alexandru, Gierasimczuk, Nina, Özgün, Aybüke, Vargas Sandoval, Ana Lucia, Smets, SonjaVolume:
109
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2019.100485
Date:
December, 2019
File:
PDF, 584 KB
2019