Gaëlle Fontaine. ML is not finitely axiomatizable over Cheq. In Guido Governatori, Ian M. Hodkinson, Yde Venema, editors, Advances in Modal Logic 6, papers from the sixth conference on Advances in Modal Logic, held in Noosa, Queensland, Australia, on 25-28 September 2006. pages 139-146, College Publications, 2006. [doi]
@inproceedings{Fontaine06,
title = {ML is not finitely axiomatizable over Cheq},
author = {Gaëlle Fontaine},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Fontaine.ps},
researchr = {https://researchr.org/publication/Fontaine06},
cites = {0},
citedby = {0},
pages = {139-146},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on Advances in Modal Logic, held in Noosa, Queensland, Australia, on 25-28 September 2006},
editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema},
publisher = {College Publications},
isbn = {1-904987-20-6},
}