Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article
Author: Lutz Schröder
Title: A finite model construction for coalgebraic modal logic
Volume: 73
Page(s): 97 – 110
Journal: Journal of Logic and Algebraic Programming (FOSSACS 06 special issue)
Year published: 2007
Abstract: In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove that (finitary) coalgebraic modal logic has the finite model property. This fact not only reproves known completeness results for coalgebraic modal logic, which we push further by establishing that every coalgebraic modal logic admits a complete axiomatisation in rank 1; it also enables us to establish a generic decidability result and a first complexity bound. Examples covered by these general results include, besides standard Hennessy-Milner logic, graded modal logic and probabilistic modal logic.
Internet: http://dx.doi.org/10.1016/j.jlap.2006.11.004
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/CMLfmp-ext.pdf
Keywords: Coalgebra Modal Logic Decision Procedures Complexity Filtrations
Note / Comment: Extends (Schröder 2006)
Status: Reviewed
Last updated: 18. 06. 2008

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum