Output details
11 - Computer Science and Informatics
University of Strathclyde
Article title
EXPTIME tableaux for the coalgebraic mu-calculus
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
3
Volume number
7
Issue number
3
First page of article
-
ISSN of journal
1860-5974
Year of publication
2011
Number of additional authors
2
Additional information
<10>The paper's significance is that its main result - a general tableaux algorithm for performing satisfiability checks for a family of modal fixpoint logics ("coalgebraic mu-calculi") - has influenced a line of research into tableaux calculi using the technique of global caching, in particular, for description logics (cf. papers by Gore, Pattinson, Schroeder et al.) The paper also influenced closely related research on automata for coalgebraic fixpoint logics (cf. Fontaine, Leal & Venema ). The paper is the journal version of a CSL 2009 conference paper which was selected for the ensuing journal special issue - further demonstrating significance.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
