_id,doi,title
2243,10.4230/LIPIcs.CSL.2013.563,Elementary modal logics over transitive structures