On modal logics of linear inequalities
We consider probabilistic modal logic, graded modal logic and stochastic modal logic, where linear inequalities may be used to express numerical constraints between quantities. For each of the logics, we construct a cut-free sequent calculus and show soundness with respect to a natural class of models. The completeness of the associated sequent calculi is then established with the help of coalgebraic semantics which gives completeness over a (typically much smaller) class of models. With...[Show more]
|Collections||ANU Research Publications|
|Source:||Advances in Modal Logic 2006|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.