第一線の人でもSahlqvist論理式のSahlqvistの読み方が何なのかははっきりしていないらしくてそんな…と思った