Skip navigation
Skip navigation

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

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]

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: Mathematical Structures in Computer Science
DOI: 10.1017/S0960129510000563


File Description SizeFormat Image
01_Schroder_Modular_algorithms_for_2011.pdf1.02 MBAdobe PDF    Request a copy

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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator