Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
-
Altmetric Citations
Schroder, Lutz; Pattinson, Dirk
Description
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]
Collections | ANU Research Publications |
---|---|
Date published: | 2011 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/78863 |
Source: | Mathematical Structures in Computer Science |
DOI: | 10.1017/S0960129510000563 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Schroder_Modular_algorithms_for_2011.pdf | 1.02 MB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator