Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description).

William Snell, Dirk Pattinson, Florian Widmann

Browse the full LPAR paper archive.