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

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Lutz Schröder, Till Mossakowski
Editor: José Luiz Fiadeiro
Title: Coalgebraic Modal Logic in CoCASL
Book / Collection title: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006
Volume: 4409
Page(s): 128 – 142
Series: Lecture Notes in Computer Science
Year published: 2007
Publisher: Springer
Abstract: We propose to extend the algebraic-coalgebraic specification language CoCASL by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCASL and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCASL thus becomes a modern modal language that covers a wide range of Kripke and non-Kripke semantics of modal logics via the coalgebraic interpretation.
Internet: http://dx.doi.org/10.1007/978-3-540-71998-4_8
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/cml-cocasl.pdf
Keywords: coalgebra CoCASL specification modal logic
Status: Reviewed
Last updated: 18. 06. 2008

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