@misc{indiciae42838a01d4aa, title = {Frame-validity games and lower bounds on the complexity of modal axioms}, author = {Philippe Balbiani and David Fernández-Duque and Andreas Herzig and Petar Iliev}, year = {2018}, url = {https://arxiv.org/abs/1808.05051}, note = {Source identifier: 1808.05051} }