Coalgebraic modal logic in COCASL

Authors:
Lutz Schröder;Till Mossakowski
Affiliations:
Department of Computer Science, University of Bremen, and DFKI Lab Bremen, Germany;Department of Computer Science, University of Bremen, and DFKI Lab Bremen, Germany
Venue:
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Year:
2006

Citing 12
Cited 1

Bisimulation through probabilistic testing

Information and Computation
A theory of higher order communicating systems

Information and Computation
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Specifying coalgebras with modal logic

Theoretical Computer Science
Logics Admitting Final Semantics

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
PSPACE Bounds for Rank-1 Modal Logics

LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
A coalgebraic approach to the semantics of the ambient calculus

Theoretical Computer Science - Algebra and coalgebra in computer science
Expressivity of coalgebraic modal logic: The limits and beyond

Theoretical Computer Science
A Coalgebraic Perspective on Monotone Modal Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
A finite model construction for coalgebraic modal logic

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Type class polymorphism in an institutional framework

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Ultrafilter extensions for coalgebras

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Specification-based testing for COCASL'S modal specifications

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science

Quantified Score

Hi-index	0.00

Visualization

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.