DMCA

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

by William Snell , Dirk Pattinson , Florian Widmann