A Dynamic Logic for Learning Theory.

Alexandru Baltag, Nina Gierasimczuk, Aybke zgn, Ana Lucia Vargas Sandoval, Sonja Smets

Browse the full TABLEAUX paper archive.