A Finite Model Construction for Coalgebraic Modal Logic

  • Lutz Schröder
Conference paper

DOI: 10.1007/11690634_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3921)
Cite this paper as:
Schröder L. (2006) A Finite Model Construction for Coalgebraic Modal Logic. In: Aceto L., Ingólfsdóttir A. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2006. Lecture Notes in Computer Science, vol 3921. Springer, Berlin, Heidelberg


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 axiomatization of 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.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Lutz Schröder
    • 1
  1. 1.Department of Computer ScienceUniversity of Bremen 

Personalised recommendations