Schroder, Lutz; Pattinson, Dirk
State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. In this paper, we show that the combination of features can be reflected algorithmically, and we develop modular decision procedures for heterogeneous modal logics. The modularity is achieved by formalising the underlying state-based systems as multi-sorted coalgebras and associating both a logical and algorithmic description with a number...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.