Skip navigation
Skip navigation

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

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]

CollectionsANU 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 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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator