Coalgebraic trace semantics via forgetful logics

We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alternating and tree automata, and the trace semantics of generative probabilistic systems. We provide a sufficient condition...

Full description

Saved in:

Bibliographic Details
Published in:	Logical methods in computer science Vol. 12, Issue 4
Main Authors:	Klin, Bartek, Rot, Jurriaan
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 27.04.2017
Subjects:	computer science - logic in computer science f.3.2 f.4.1
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!