Skip navigation
Skip navigation

On modal logics of linear inequalities

Kupke, Clemens; Pattinson, Dirk


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]

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Advances in Modal Logic 2006


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator