Logic Column 15: Coalgebras and Their Logics

Details Logic Column 15: Coalgebras and Their Logics Logic Column 15: Coalgebras and Their Logics

2006-05-28

arxiv.org/abs/cs/0605128v1

SIGACT News 37 (2), pp. 57-77, 2006

Computer Science

Logic in Computer Science

21 pages

Scientific paper

This article describes recent work on the topic of specifying properties of
transition systems. By giving a suitably abstract description of transition
systems as coalgebras, it is possible to derive logics for capturing properties
of these transition systems in an elegant way.

Affiliated with

Also associated with

No associations

Rating

Logic Column 15: Coalgebras and Their Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Column 15: Coalgebras and Their Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Column 15: Coalgebras and Their Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-713099