_id,doi,title
1680,10.1145/2817825,On the decidability of elementary modal logics