L. Schröder, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)
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.
%0 Conference Paper
%1 SchroderMossakowski07
%A Schröder, Lutz
%A Mossakowski, Till
%B Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006
%D 2007
%E Fiadeiro, José Luiz
%I Springer
%K CoCASL coalgebra logic modal specification
%P 128-142
%T Coalgebraic Modal Logic in CoCASL
%U http://dx.doi.org/10.1007/978-3-540-71998-4_8
%V 4409
%X 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.
@inproceedings{SchroderMossakowski07,
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.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Schr{\"o}der, Lutz and Mossakowski, Till},
biburl = {https://www.bibsonomy.org/bibtex/219e9c474fbc36661e58e5075ef575a52/tillmo},
booktitle = {Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006},
editor = {Fiadeiro, Jos{\'e} Luiz},
interhash = {27f0c8ee12d73e82a3fe0f2c9e0c3893},
intrahash = {19e9c474fbc36661e58e5075ef575a52},
keywords = {CoCASL coalgebra logic modal specification},
pages = {128-142},
pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/cml-cocasl.pdf},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Coalgebraic Modal Logic in CoCASL},
url = {http://dx.doi.org/10.1007/978-3-540-71998-4_8},
volume = 4409,
year = 2007
}